Abstract
In this paper, by considering the notion of upsets, for any element x of a BL-algebra L, we construct a topology Tx on L and show that L-algebras with this topology formes a semitopological BL-algebras. Then we obtain some of the topological aspects of this structure such as connectivity and compactness. Moreover, we introduced two kinds of semitopological MV -algebra by using two kinds of definition of MV -algebra and show that they are equivalent.
References
[1] R. Belohlávek, Some properties of residuated lattices, Czechoslovak Math. J. 53(123) (2003), 161-171.10.1023/A:1022935811257Search in Google Scholar
[2] T. S. Blyth, Lattices and Ordered Algebraic Structures, Springer, London, 2005.Search in Google Scholar
[3] A. Borumand Saeid, S. Motamed, Some results in BL-algebras, Math. Logic. Quart. 55(6) (2009), 649-658.10.1002/malq.200910025Search in Google Scholar
[4] R. A. Borzooei, G. R. Rezaei, N. Kuhestani, On (semi)topological BL-algebra, Iran. J. Math. Sci. Inform. 6(1) (2011), 59-77.Search in Google Scholar
[5] R. A. Borzooei, G. R. Rezaei, N. Kuhestani, Separation axioms in (semi)topological quotient BL-algebras, Soft Comput. 16 (2012), 1219-1227.10.1007/s00500-012-0808-6Search in Google Scholar
[6] R. A. Borzooei, G. R. Rezaei, N. Kuhestani, Metrizability on (semi)topological BL- algebras, Soft Comput. 16 (2012), 1681-1690.10.1007/s00500-012-0852-2Search in Google Scholar
[7] C. C. Chang, Algebraic analysis of many-valued logics, Trans. Amer. Math. Soc. 88 (1958), 467-490.10.1090/S0002-9947-1958-0094302-9Search in Google Scholar
[8] LC. Ciungu, Convergences in perfect BL-algebras, Math. Soft Comput. 14 (2007), 67-80.Search in Google Scholar
[9] J. Dixmier, S. K. Berberian, General Topology, Springer, New York, 2010.Search in Google Scholar
[10] A. Di Nola, G. Georgescu, A. Iorgulescu, Pseudo BL-algebra: Part I, Mult.-Valued Log. 8 (2002), 673-714.Search in Google Scholar
[11] A. Di Nola, L. Leustean, Compact representations of BL-algebra, Arch. Math. Logic 42 (2003), 737-761.10.1007/s00153-003-0178-ySearch in Google Scholar
[12] F. Esteva, L. Godo, Monoidal t-norm based logic: towards a logic for left-continuous t-norms, Fuzzy Sets and Systems 124 (2001), 271-288.10.1016/S0165-0114(01)00098-7Search in Google Scholar
[13] P. Hájek, Metamathematics of Fuzzy Logic, Kluwer Academic Publishers, 1998.10.1007/978-94-011-5300-3Search in Google Scholar
[14] M. Haveshki, E. Eslami, A. Borumand Saeid, A topology induced by uniformity on BL-algebras, Math. Logic Quart. 53(2) (2007), 162-169.10.1002/malq.200610035Search in Google Scholar
[15] D. Mundici, Interpretation of AFC_-algebras in a Łukasiewicz sentential calculus, J. Funct. Anal. 65 (1986), 15-63.10.1016/0022-1236(86)90015-7Search in Google Scholar
[16] L. Leustean, Representations of many-valued algebras, PhD Thesis, University of Bucharest, 2003.Search in Google Scholar
[17] J. Mi Ko, YC. Kim, Closure operators on BL-algebras, Korean Math. Soc. 19(2) (2004), 219-232.10.4134/CKMS.2004.19.2.219Search in Google Scholar
[18] J. R. Munkres, Topology: a first course, Prentice-Hall, 1974.Search in Google Scholar
[19] E. Turunen, Boolean deductive systems of BL-algebras, Arch. Math. Logic 40 (2001), 467-473.10.1007/s001530100088Search in Google Scholar
[20] E. Turunen, Mathematics behind Fuzzy Logic, Physica, 1999. Search in Google Scholar
© by O. Zahiri
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.
