zbMATH — the first resource for mathematics

Varieties of BL-algebras. (English) Zbl 1092.03036
This paper is an overview on the lattice Sub(BL) of the subvarieties of the variety BL of the BL-algebras. The authors describe the most important sublattices of Sub(BL). In Section 3 they deal with the lattice of subvarieties of the join of the varieties of Wajsberg algebras, Gödel algebras and Product algebras. This lattice is fully described in the paper of the first three authors, P. Garcia and the reviewer [Arch. Math. Logic 41, No. 7, 673–685 (2002; Zbl 1023.03060)]. In Section 4 the subvarieties of BL which are generated by a single t-norm algebra are sketched and related results can be found in the paper of the second, third and fourth author [Stud. Log. 76, No. 2, 161–200 (2004; Zbl 1045.03048)]. In Section 5 the authors recall the results of the work of P. Aglianò and the fourth author [J. Pure Appl. Algebra 181, No. 2–3, 105–129 (2003; Zbl 1034.06009)] on the varieties generated by BL-chains which are ordinal sums of finitely many Wajsberg hoops. In Section 6 there is a survey on the theory of local and perfect BL-algebras, whose results are contained in the work of of the first three authors, P. Garcia and the reviewer [Ann. Math. Artif. Intell. 35, No. 1–4, 197–214 (2002; Zbl 1004.03023)].

03G25 Other algebras related to logic
06D35 MV-algebras
08B15 Lattices of varieties
03-02 Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
Full Text: DOI
[1] Aglianó P, Ferreirim IMA, Montagna F Basic hoops: an algebriac study of continuous t-norms. Studia Logica (to appear) · Zbl 1127.03049
[2] Aglianó P, Montagna F (2003) Varieties of BL-algebras I: general properties. J Pure Appl Algebra 181:105–129 · Zbl 1034.06009
[3] Belluce LP, Di Nola A, Lettieri A (1993) Local MV-algebras. Rend Circ Mat Palermo 42:347–361 · Zbl 0817.06011
[4] Blok WJ, Ferreirim IMA (2000) On the structure of hoops. Algebra Universalis 43:233–257 · Zbl 1012.06016
[5] Burris S, Sankappanavar HP (1981) A course in Universal Algebra, Graduate texts in Mathematics, Springer, Berlin Heidelberg New York · Zbl 0478.08001
[6] Busaniche M (2005) Decomposition of BL-chains. To appear in Algebra Universalis Vd. 52, Number 4, 519–525
[7] Chang CC (1958) Algebraic analysis of many-valued logic. Trans Am Math Soc 88:467–490 · Zbl 0084.00704
[8] Cignoli R, Esteva F, Godo L, Torrens A (2000) Basic fuzzy logic is the logic of continuous t-norms and their residua. Soft Computing 4:106–112
[9] Cignoli R, D’Ottaviano IML, Mundici D (2000) Algebraic Foundations of Many-valued Reasoning, Kluwer, Doredrecht
[10] Cignoli R, Torrens A (2000) An algebraic analysis of product logic. Mult Val Logic 5:45–65 · Zbl 0962.03059
[11] Cignoli R, Torrens A (2003) Hájek basic fuzzy logic and Łukasiewicz infinite-valued logic. Arch Math Logic 42:361–370 · Zbl 1025.03018
[12] Di Nola A, Lettieri A (1994) Perfect MV-algebras are categorically equivalent to abelian -groups. Studia Logica 53:417–432 · Zbl 0812.06010
[13] Di Nola A, Lettieri A (1999) Equational characterization of all varities of MV algebras. J Algebra 22:463–474 · Zbl 0946.06009
[14] Di Nola A, Esteva F, Garcia P, Godo L, Sessa S (2002) Subvarieties of BL-algebras generated by single-component chains. Arch Math Logic 41:673–685 · Zbl 1023.03060
[15] Di Nola A, Sessa S, Esteva F, Godo L, Garcia P (2002) The variety generated by perfect BL-algebras: an algebraic approach in a fuzzy logic setting. Ann Math Artif Intell 35:197–214 · Zbl 1004.03023
[16] Esteva F, Godo L, Montagna F (2004) Equational Characterization of the Subvarieties of BL Generated by T-Norm Algebras Studia logica 76, 161–200 · Zbl 1045.03048
[17] Ferreirim IMA (1992) On varieties and quasi varieties of hoops and their reducts. PhD Thesis, University of Illinois
[18] Gispert J (2002) Universal classes of MV-chains with applications to many valued logics. Math Logic Q 48:581–601 · Zbl 1049.06009
[19] Gispert J, Mundici D, Torrens A (1999) Ultraproducts of Z with an Application to Many-Valued Logics. J Algebra 219:214–233 · Zbl 0937.06008
[20] Gottwald S (2001) A Treatise on Many-valued Logics. Studies in logic and computation, Research Studies Press, Baldock · Zbl 1048.03002
[21] Grigolia RS (1977) Algebraic Analysis of Lukasiewicz-Tarski’s n-valued logical systems. In: Wojcicki AR, Malinowski G (eds) Selected papers on Lukasiewicz sentential calculus. Ossolineum, Wroclaw, pp 81–92
[22] Hájek P (1998) Metamathematics of fuzzy logic. In: Trends in logic-studia logica library, vol 4. Kluwer, Dordercht/Boston/London
[23] Hájek P (1998) Basic fuzzy logic and BL-algebras. Soft Computing 2:124–128
[24] Haniková Z (2002) A note on propositional tautologies of individual continuous t-norms vol 12. Neural Netw World (5) 453–460
[25] Hecht T, Katrinak T (1972) Equational classes of relative Stone algebras. Notre Dame J Formal Logic 13:248–254 · Zbl 0212.01601
[26] Komori Y (1981) Super- Łukasiewicz implicational logics. Nagoya Math J 84:1119–133 · Zbl 0482.03007
[27] Laskowski MC, Shashoua YV (2002) A classification of BL-algebras. Fuzzy Sets Syst 131:271–282 · Zbl 1013.03072
[28] Mostert PS, Shields AL (1957) On the structure of semigroups on a compact manifold with boundary. Ann Math 65:117–143 · Zbl 0096.01203
[29] Mundici D (1986) Interpretations of AFC*-algebras in Łukasiewicz sentential calculus. J Funct Anal 65:15–63 · Zbl 0597.46059
[30] Panti G (1999) Varieties of MV algebras. J Appl Non-Classical Logic 9:141–157 · Zbl 1031.06010
[31] Rodríguez AJ, Torrens A (1994) Wajsberg algebras and Post algebras. Studia Logica 53:1–19 · Zbl 0808.03048
[32] Turunen E, Sessa S (2001) Local BL-algebras. Int J Multiple Valued Logic 6:229–249 · Zbl 1049.03045
[33] Turunen E (1999) BL-algebras and fuzzy logic. Mathware and Soft Comput 1:49–61 · Zbl 0962.03020
[34] Turunen E (2001) Boolean deductive systems of BL-algebras. Arch Math Logic 40:467–473 · Zbl 1030.03048
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. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.