این سایت در حال حاضر پشتیبانی نمی شود و امکان دارد داده های نشریات بروز نباشند
صفحه اصلی
درباره پایگاه
فهرست سامانه ها
الزامات سامانه ها
فهرست سازمانی
تماس با ما
JCR 2016
جستجوی مقالات
شنبه 2 اسفند 1404
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
موضوعات مقاله منتشر شده
نوع مقاله منتشر شده
برگشت به:
صفحه اول پایگاه
|
نسخه مرتبط
|
نشریه مرتبط
|
فهرست نشریات