On implicative and maximal ideals of BL-algebras

• Autorzy: Walendziak A.

Identyfikatory

DOI

10.14708/cm.v54i2.705

• Języki publikacji: EN

Abstrakty

EN

In the theory of MV-algebras, implicative ideals are studied by Hoo and Sessa. In this paper we define and characterize implicative ideals of BL-algebras. We also investigate maximal ideals of BL-algebras and prove that if an ideal is prime and implicative, then it is maximal. Moreover, we show that an ideal is maximal if and only if the quotient BL-algebra is a simple MV-algebra. Finally, we give the homomorphic properties of implicative and maximal ideals.

Słowa kluczowe

EN

BL-algebra; MV-algebra; implicative ideal; maximal ideal

• Wydawca: Polskie Towarzystwo Matematyczne
• Czasopismo: Commentationes Mathematicae
• Rocznik: 2014
• Tom: Vol 54, No. 2
• Strony: 247--258
• Opis fizyczny: Bibliogr. 16 poz.

Twórcy

autor

Walendziak A.

• Institute of Mathematics and Physics, Siedlce University Sieldlce, Poland

Bibliografia

• [1] A. Borumand Saeid, S. Motamed, Some results in BL-algebras, Math. Logic Quartely 55 (2009) 649-658.
• [2] C.C. Chang, Algebraic analysis of many valued logics, Trans. Amer. Math. Soc. 88 (1958) 467–490.
• [3] A. Di Nola, G. Georgescu, L. Leuştean, Boolean products of BL-algebras, J. Math. Anal. Appl. 251 (2000) 106-131.
• [4] A. Di Nola, L. Leuştean, Compact representations of BL-algebras, Arch. Math. Logic 42 (2003) 737-761.
• [5] P. Hájek, Metamathematics of fuzzy logic, Kluwer, Amsterdam, 1998.
• [6] C.S. Hoo, MV-algebras, ideals, and semisimplicity, Math. Japonica 34 (1989) 563-584.
• [7] C.S. Hoo, Molecules and linearly ordered ideals of MV-algebras, Publications Matem`antiques 41 (1997) 455-465.
• [8] C.S. Hoo, S. Sessa, Implicative and Boolean ideals of MV-algebras, Math. Japonica 39 (1994) 215-219.
• [9] M. Kolărik, Independence of the axiomatic system for MV-algebras, Math. Slovaca 63 (2013) 1-4.
• [10] M. Kondo, W.A. Dudek, Filter theory of BL-algebras, Soft Computing 2 (2007), 419-423.
• [11] C. Lele, J.B. Nganou, MV-algebras derived from ideals in BL-algebras, Fuzzy Sets and Systems 218 (2013) 103-113.
• [12] N. Mohtashamnia, A. Borumand Saeid, A special type of BL-algebra, Annals of the University of Craiova, Mathematics and Computer Science Series 39 (2012) 8-20.
• [13] S. Motamed, L. Torkzadeh, A. Borumand Saeid, N. Mohtashmania, Radical of filters in BL-algebras, Math. Logic Quartely 57 (2011) 166-179.
• [14] J. Rachůnek, DRL-semigroups and MV-algebras, Czechoslovak Mathematical Journal 48 (1998), 365-372.
• [15] E. Turunen, S. Sessa, Local BL-algebras, International J. Multiple-Valued Logic 6 (2001) 229-249.
• [16] T. Vetterlein, BL-algebras and quantum structures, Math. Slovaca 54 (2004) 127-141.