اخبار و اعلانات
آمار
| تعداد نشریات | 27 |
| تعداد شماره‌ها | 612 |
| تعداد مقالات | 6,232 |
| تعداد مشاهده مقاله | 9,356,268 |
| تعداد دریافت فایل اصل مقاله | 6,107,403 |
Compactness of first-order fuzzy logics | ||
| Iranian Journal of Fuzzy Systems | ||
| مقاله 5، دوره 19، شماره 3، مرداد و شهریور 2022، صفحه 53-68 اصل مقاله (246.66 K) | ||
| نوع مقاله: Research Paper | ||
| شناسه دیجیتال (DOI): 10.22111/ijfs.2022.6943 | ||
| نویسنده | ||
| S. M. A. Khatami* | ||
| Department of Computer Science, Birjand University of Technology, Birjand, Iran | ||
| چکیده | ||
| 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 | ||
| مراجع | ||
|
[1] L. P. Belluce, C. C. Chang, A weak completeness theorem for infinite valued first-order logic, The Journal of Symbolic Logic, 28(1) (1963), 43-50.
[2] D. Boixader, F. Esteva, L. Godo, On the continuity of t-norms on bonded chains, In IFSA’99: Proceedings of the Eighth International Fuzzy Systems Association World Congress, Taipei, Taiwan, (1999), 476-479.
[3] N. Bourbaki, General topology I, Springer-Verlag Berlin Heidelberg, 1995.
[4] D. Butnariu, E. P. Klement, S. Zafrany, On triangular norm-based propositional fuzzy logics, Fuzzy Sets and Systems, 69(3) (1995), 241-255.
[5] C. C. Chang, A new proof of the completeness of the Lukasiewicz axioms, Transactions of the American Mathematical Society, 93(1) (1959), 74-80.
[6] C. C. Chang, H. J. Keisler, Continouous model theory, Princeton University Press Annals of Mathematics Studies. Princeton University, 1966.
[7] P. Cintula, M. Navara, Compactness of fuzzy logics, Fuzzy Sets and Systems, 143(1) (2004), 59-73.
[8] P. Dellunde, Applications of ultraproducts: From compactness to fuzzy elementary classes, Logic Journal of the IGPL, 22(1) (2014), 166-180.
[9] M. Dummett, A propositional calculus with denumerable matrix, Journal of Symbolic Logic, 24(2) (1959), 97-106.
[10] F. Esteva, L. Godo, Towards a logic for left-continuous t-norms, Fuzzy Sets and Systems, 124(3) (2001), 271-288.
[11] F. Esteva, L. Godo, Monoidal t-norm based logictowards a logic for left-continuous t-norms, Fuzzy Sets and Systems, 124(3) (2001), 271-288.
[12] P. Hájek, Metamathematics of fuzzy logic, Kluwer Academic Trends in Logic, Springer Netherlands, 1998.
[13] A. Horn, Logic with truth values in a linearly ordered Heyting algebra, Journal of Symbolic Logic, 34(3) (1969), 395-408.
[14] S. M. A. Khatami, M. Pourmahdian, On the compactness property of extensions of first-order Gödel logic, Iranian Journal of Fuzzy Sets and Systems, 12(4) (2015), 101-121.
[15] J. Pavelka, On fuzzy logic I, Mathematical Logic Quarterly, 25(3-6) (1979), 45-52.
[16] J. Pavelka, On fuzzy logic II, Mathematical Logic Quarterly, 25(7-12) (1979), 119-134.
[17] J. Pavelka, On fuzzy logic III, Mathematical Logic Quarterly, 25(25-29) (1979), 447-464.
[18] M. Pourmahdian, N. R. Tavana, Compactness in first-order Gödel logics, Journal of Logic and Computation, 23(3) (2013), 473-485.
[19] A. Rose, J. B. Rosser, Fragments of many-valued statement calculi, Transactions of the American Mathematical Society, 87(1) (1958), 1-53.
[20] N. R. Tavana, M. Pourmahdian, F. Didehvar, Compactness in first-order Lukasiewicz logic, Logic Journal of the IGPL, 20(1) (2012), 254-265. | ||
|
آمار تعداد مشاهده مقاله: 563 تعداد دریافت فایل اصل مقاله: 450 |
||