این سایت در حال حاضر پشتیبانی نمی شود و امکان دارد داده های نشریات بروز نباشند
Iranian Journal of Fuzzy Systems، جلد ۱۹، شماره ۳، صفحات ۵۳-۶۸
عنوان فارسی
چکیده فارسی مقاله
کلیدواژه‌های فارسی مقاله
عنوان انگلیسی Compactness of first-order fuzzy logics
چکیده انگلیسی مقاله 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 $[0,1]$ and $[0,1]^2$ 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.
کلیدواژه‌های انگلیسی مقاله Basic logic, first-order Basic logic, Compactness, $K$-compactness, ultraproduct method, similarity topology
نویسندگان مقاله S. M. A. Khatami |
Department of Computer Science, Birjand University of Technology, Birjand, Iran

نشانی اینترنتی https://ijfs.usb.ac.ir/article_6943_4c654112b7592901ced0901039cc64f8.pdf
فایل مقاله فایلی برای مقاله ذخیره نشده است
کد مقاله (doi)
زبان مقاله منتشر شده en
موضوعات مقاله منتشر شده
نوع مقاله منتشر شده
برگشت به: صفحه اول پایگاه   |   نسخه مرتبط   |   نشریه مرتبط   |   فهرست نشریات