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