Fuzzy logic and enriched categories
محل انتشار: مجله سیستم های فازی، دوره: 18، شماره: 3
سال انتشار: 1400
نوع سند: مقاله ژورنالی
زبان: انگلیسی
مشاهده: 226
فایل این مقاله در 11 صفحه با فرمت PDF قابل دریافت می باشد
- صدور گواهی نمایه سازی
- من نویسنده این مقاله هستم
این مقاله در بخشهای موضوعی زیر دسته بندی شده است:
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
JR_IJFS-18-3_002
تاریخ نمایه سازی: 30 خرداد 1400
چکیده مقاله:
We consider a category C enriched over the segment [۰,۱] whose hom-objects are real numbers from [۰,۱]. 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 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