Compactness of first-order fuzzy logics

Document Type : Research Paper

Author

Department of Computer Science, Birjand University of Technology, Birjand, Iran

Abstract

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.

Keywords

References

[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.
Iranian Journal of Fuzzy Systems
Volume 19, Issue 3
May and June 2022
Pages 53-68

Files

Share

How to cite

Statistics