Topological properties of prime filters in MTL-algebras and fuzzy set representations for MTL-algebras. (English) Zbl 1244.03173
The author studies some basic properties of prime filters in MTL-algebras, constructs a topology on prime filters of MTL-algebras and proves that it is a \(T_0\) topological space. Finally the Stone representation theorem of Boolean algebras is extended to MTL-algebras.
Reviewer: A. Borumand Saeid (Kerman)
MSC:
| 03G25 | Other algebras related to logic |
References:
| [1] | Esteva, F.; Godo, L., Monoidal \(t\)-norm based logic: towards a logic for left-continuous t-norms, Fuzzy Sets and Systems, 124, 271-288 (2001) · Zbl 0994.03017 |
| [2] | Wang, G. J., An Introduction to Mathematical Logic and Resolution Principle (2003), Science in China Press: Science in China Press Beijing, (in Chinese) |
| [3] | Hajek, M., Metamathematics of Fuzzy Logic (1998), Kluwer Adacemic Publishers: Kluwer Adacemic Publishers Dordrecht · Zbl 0937.03030 |
| [4] | Pei, D. W., On equivalent forms of fuzzy logic systems NM and IMTL, Fuzzy Sets and Systems, 138, 187-195 (2003) · Zbl 1031.03047 |
| [5] | Wang, G. J., MV-algebras, BL-algebras, \(R_0\)-algebras and multiple-valued logic, Fuzzy Systems and Mathematics, 16, 2, 1-15 (2002), (in Chinese) · Zbl 1333.06029 |
| [6] | Sikorski, R., Boolean Algebras (1964), Springer-Verlag: Springer-Verlag Berlin · Zbl 0191.31505 |
| [7] | Tarski, A., Logic, Semantic, Metamathematics (1956), Oxford University Press: Oxford University Press Oxford |
| [8] | Turunen, E., BL-algebras and basic fuzzy logic, Mathware and Soft Computing, 6, 49-61 (1999) · Zbl 0962.03020 |
| [9] | Turunen, E., Boolean deductive systems of BL-algebras, Arch. Math. Logic, 40, 467-473 (2001) · Zbl 1030.03048 |
| [10] | Davey, B. A.; Priestley, H. A., Introduction to Lattices and Order (2002), Cambridge University Press · Zbl 1002.06001 |
| [11] | Steiner, A. K., Lattice of topologies: structure and complementation, Trans. AMS, 122, 379-398 (1966) · Zbl 0139.15905 |
| [12] | Gierz, G.; Hofmann, K. H.; Keimel, K., Continuous Lattices and Domains (2003), Cambridge University Press: Cambridge University Press Cambridge · Zbl 1088.06001 |
| [13] | R. Cignoli, I.M.L. D’Ottaviano, D. Mundici, Algebras of Lukasiewicz Logics, second ed., Editions CLE, State University of Campinas, Campinas, S.P., Brazil, 1995 (in Portuguese).; R. Cignoli, I.M.L. D’Ottaviano, D. Mundici, Algebras of Lukasiewicz Logics, second ed., Editions CLE, State University of Campinas, Campinas, S.P., Brazil, 1995 (in Portuguese). |
| [14] | Mundici, D., Tensor products and the Loomis-Sikorski theorem for MV-algebras, Adv. Appl. Math., 22, 227-248 (1999) · Zbl 0926.06004 |
| [15] | Wang, G. J., Compact Hausdorff topology on the set of Lukasiewicz semantics, Acta Math. Sinica, 45, 5, 919-924 (2002), (in Chinese) · Zbl 1010.03016 |
| [16] | Zhang, J. L., Fuzzy topology representation for MV-algebras, Math. Log. Quart., 55, 259-270 (2009) · Zbl 1172.06008 |
| [17] | Zhou, H. J.; Wang, G. J., Structural characterizations of maximal consistent theories in the formal deductive system \(L^*\) (NM logic) and Cantor space, Fuzzy Sets and Systems, 158, 2591-2604 (2007) · Zbl 1125.03020 |
| [18] | Zhou, H. J.; Wang, G. J., Characterization of maximal consistent theories over \(L^*\) and compactness theorem, Fuzzy Systems and Math., 22, 4, 8-14 (2008), (in Chinese) · Zbl 1219.03033 |
| [19] | Dvurečenskij, A., Fuzzy set representation of some quantum structures, Fuzzy sets and Systems, 101, 67-78 (1999) · Zbl 0930.03098 |
| [20] | Kelley, J. L., General Topology (1975), Springer-Verlag: Springer-Verlag New York · Zbl 0306.54002 |
| [21] | Balasubramani, P., Stone topology of the set of prime filters of a 0-distributive lattice, Indian J. Pure Appl. Math., 35, 149-158 (2004) · Zbl 1068.06013 |
| [22] | Zhang, J. L., The prime Boolean filters and their operations in MV-algebras, J. Fuzzy Math., 16, 2, 457-468 (2008) · Zbl 1148.06302 |
| [23] | Nala, D.; Lettieri, A., On normal forms in Lukasiewicz logic, Arch. Math. Logic, 43, 795-823 (2004) · Zbl 1061.03026 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
