Compactness of first-order fuzzy logics
محل انتشار: مجله سیستم های فازی، دوره: 19، شماره: 3
سال انتشار: 1401
نوع سند: مقاله ژورنالی
زبان: انگلیسی
مشاهده: 172
فایل این مقاله در 16 صفحه با فرمت PDF قابل دریافت می باشد
- صدور گواهی نمایه سازی
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
JR_IJFS-19-3_005
تاریخ نمایه سازی: 17 خرداد 1401
چکیده مقاله:
One of the nice properties of the first-order logic is the compactness of satisfiability. It states that a finitely satisfiable theory is satisfiable. However, different degrees of satisfiability in fuzzy logics will pose various kinds of compactness in these logics.In this article, after an overview on the results around the compactness of satisfiability and compactness of K-satisfiability in H\'{a}jek Basic logic, some new results are given around this issue.It will be shown that there are topologies on [۰,۱] and [۰,۱]^۲ for which the interpretation of all logical connectives of the Basic logic is continuous. Furthermore, a topology on first-order structures will be introduced for any similarity relation as well. Then by the same ideas as in continuous logic, the results around the compactness of satisfiability will be extended for Basic logic.
کلیدواژه ها:
نویسندگان
S. M. A. Khatami
Department of Computer Science, Birjand University of Technology, Birjand, Iran