Reflectional topology in MV-algebras

Document Type : Research Paper

Authors

1 Faculty of Mathematics and computing, Higher Education Complex of Bam, Kerman, Iran.

2 Department of Pure Mathematics, Faculty of Math and Computers, Shahid Bahonar University of Kerman, Kerman, Iran

Abstract

In this paper, we define soaker ideals in an MV-algebra, and study the relationships between soaker ideals and the other ideals in an involutive MV -algebras. Then we introduce a topology on the set of all the soaker ideals, which we call reflectional topology, and give a basis for it. By defining the notion of join-soaker ideals, we show that the reflectional topology is compact. We also give a characterization of connectedness of the reflectional topology. Finally, we investigate the properties of T0 and T1-space in this topology.

Keywords


[1] Chang, C.C., Algebraic analysis of many valued logic, Trans. Amer. Math. Soc. 88 (1958), 467-490.

[2] Cignoli, R., D’Ottaviano, I.M.L., and Mundici, D., “Algebraic foundations of many- valued reasoning”, Kluwer Academic Publsiher, 2000.

[3] Di Nola, A., Liguori, F., and Sessa, S., Using maximal ideals in the classification of MV-algebras, Port. Math. 50(1) (1993), 87-102.

[4] Hoo, C.S., MV-algebras, ideals and semisimplicity, Math. Japon. 34(4) (1989), 563- 583.

[5] Filipoiu, A., Georgescu, G. and Lettieri, A., Maximal MV-algebras, Mathware and Soft Computing 4 (1997), 53-62.

[6] Forouzesh, F., Sajadian, F., Bedrood, M., Inverse topology in MV-algebras, Math. Bohem. 3 (2019), 273–285.

[7] Hajek, P., “Metamathematics of Fuzzy Logic”, Kluwer Academic Publishers, 1998.

[8] Iorgulescu, A., “Algebras of Logic as BCK-Algebras”, Academy of Economic Stud- ies Bucharest, 2008.

[9] Mundici, D., Interpretation of AFC*-algebras in Lukasiewicz sentential calculus, J. Funct. Anal. 65 (1986), 15-63.

[10] Piciu, D., “Algebras of Fuzzy Logic”, Ed. Universitaria Craiova, 2007.