|
|
Iranian Journal of Fuzzy Systems، جلد ۱۸، شماره ۳، صفحات ۱-۱۱
|
|
|
| عنوان فارسی |
|
|
| چکیده فارسی مقاله |
|
|
| کلیدواژه‌های فارسی مقاله |
|
|
| عنوان انگلیسی |
Fuzzy logic and enriched categories |
|
| چکیده انگلیسی مقاله |
We consider a category C enriched over the segment [0,1] whose hom-objects are real numbers from [0,1]. For a suitably defined function $hat{v}$ assigning to each formula $varphi$ some object of $C$, the hom-object $C(hat{v} (varphi),hat{v}(psi))$ represents the degree of derivability of $psi$ from $varphi$. We reformulate completeness result for intuitionistic propositional logic, as well as H' ajek's completeness results concerning the product, G" odel and L ukasiewicz fuzzy logic in the context of enriched category theory. |
|
| کلیدواژه‌های انگلیسی مقاله |
Product fuzzy logic, G&,quot, odel fuzzy logic, L ukasiewicz fuzzy logic, t-norm, bicartesian closed $V$-enriched category, self-enriched ca-tegory |
|
| نویسندگان مقاله |
S. Dautovic |
Mathematical Institute of the Serbian Academy of Sciences and Arts, Belgrade, Serbia
M. Zekic |
Mathematical Institute of the Serbian Academy of Sciences and Arts, Belgrade, Serbia
|
|
| نشانی اینترنتی |
https://ijfs.usb.ac.ir/article_6077_9fa789612cdfd958226861183fbceac4.pdf |
| فایل مقاله |
فایلی برای مقاله ذخیره نشده است |
| کد مقاله (doi) |
|
| زبان مقاله منتشر شده |
en |
| موضوعات مقاله منتشر شده |
|
| نوع مقاله منتشر شده |
|
|
|
|
برگشت به:
صفحه اول پایگاه |
نسخه مرتبط |
نشریه مرتبط |
فهرست نشریات
|