Semitopological BL-algebras and MV-algebras

• Autorzy: Zahiri O. , Borzooei R. A.
• Języki publikacji: EN

Abstrakty

EN

In this paper, by considering the notion of upsets, for any element x of a BL-algebra L, we construct a topology γx 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.

Słowa kluczowe

EN

semitopology; BL-algebra; upset; MV-algebra

PL

topologia; algebra BL; algebra MV

• Wydawca: De Gruyter
• Czasopismo: Demonstratio Mathematica
• Rocznik: 2014
• Tom: Vol. 47, nr 3
• Strony: 522--538
• Opis fizyczny: Bibliogr. 20 poz.

Twórcy

autor

Zahiri O.

• Department of Mathematics, Shahid Beheshti University G. C., Tehran, Iran

autor

Borzooei R. A.

• Department of Mathematics, Shahid Beheshti University G. C., Tehran, Iran

Bibliografia

• [1] R. Bělohlávek, Some properties of residuated lattices, Czechoslovak Math. J. 53(123) (2003), 161–171.
• [2] T. S. Blyth, Lattices and Ordered Algebraic Structures, Springer, London, 2005.
• [3] A. Borumand Saeid, S. Motamed, Some results in BL-algebras, Math. Logic. Quart. 55(6) (2009), 649–658.
• [4] R. A. Borzooei, G. R. Rezaei, N. Kuhestani, On (semi)topological BL-algebra, Iran. J. Math. Sci. Inform. 6(1) (2011), 59–77.
• [5] R. A. Borzooei, G. R. Rezaei, N. Kuhestani, Separation axioms in (semi)topological quotient BL-algebras, Soft Comput. 16 (2012), 1219–1227.
• [6] R. A. Borzooei, G. R. Rezaei, N. Kuhestani, Metrizability on (semi)topological BL-algebras, Soft Comput. 16 (2012), 1681–1690.
• [7] C. C. Chang, Algebraic analysis of many-valued logics, Trans. Amer. Math. Soc. 88 (1958), 467–490.
• [8] LC. Ciungu, Convergences in perfect BL-algebras, Math. Soft Comput. 14 (2007), 67–80.
• [9] J. Dixmier, S. K. Berberian, General Topology, Springer, New York, 2010.
• [10] A. Di Nola, G. Georgescu, A. Iorgulescu, Pseudo BL-algebra: Part I, Mult.-Valued Log. 8 (2002), 673–714.
• [11] A. Di Nola, L. Leustean, Compact representations of BL-algebra, Arch. Math. Logic 42 (2003), 737–761.
• [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.
• [13] P. Hájek, Metamathematics of Fuzzy Logic, Kluwer Academic Publishers, 1998.
• [14] M. Haveshki, E. Eslami, A. Borumand Saeid, A topology induced by uniformity on BL-algebras, Math. Logic Quart. 53(2) (2007), 162–169.
• [15] D. Mundici, Interpretation of AFC*-algebras in a Łukasiewicz sentential calculus, J. Funct. Anal. 65 (1986), 15–63.
• [16] L. Leustean, Representations of many-valued algebras, PhD Thesis, University of Bucharest, 2003.
• [17] J. Mi Ko, YC. Kim, Closure operators on BL-algebras, Korean Math. Soc. 19(2) (2004), 219–232.
• [18] J. R. Munkres, Topology: a first course, Prentice-Hall, 1974.
• [19] E. Turunen, Boolean deductive systems of BL-algebras, Arch. Math. Logic 40 (2001), 467–473.
• [20] E. Turunen, Mathematics behind Fuzzy Logic, Physica, 1999.