×

Generating the variety of BL-algebras. (English) Zbl 1093.03039

Summary: This paper collects some results from previous work by P. Aglianó, I. M. A. Ferreirim and the author [see, e.g., P. Aglianó and the author, J. Pure Appl. Algebra 181, 105–129 (2003; Zbl 1034.06009]. Our purpose is to illustrate some interesting classes of algebras which generate the whole variety of BL-algebras. In particular, we prove that such a variety is generated by its finite members and by the class of finite ordinal sums of Łukasiewicz t-norm algebras. Finally, we characterize the BL-chains which generate the whole variety of BL-algebras.

MSC:

03G25 Other algebras related to logic

Citations:

Zbl 1034.06009
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Aglianó, P., Ferreirim, I.M.A., Montagna, F. (2001) Basic hoops: an algebraic study of continuous t-norms, (preprint) · 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] Aglianò, P., Ursini, A. (1997) On subtractive varieties III: From ideals to congruences. Algebra Universalis 37:296–333 · Zbl 0906.08005
[4] Blok, W.J., Ferreirim, I.M.A. (2000) On the structure of hoops. Algebra Universalis 43:233–257 · Zbl 1012.06016
[5] Blok, W., Pigozzi, D. (1989) Algebraizable Logics. Mem Am Math Soc 77:396 · Zbl 0664.03042
[6] Busaniche, M. (2002) Decompositions of BL-chains, Preprint University of Buenos Aires · Zbl 1077.03043
[7] Chang, C.C. (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 Comput 4:106–112
[9] Cignoli, R., Mundici, D., D’Ottaviano, I.M.L. (2000) Algebraic foundations of many-valued reasoning. Kluwer, Dordercht · Zbl 0937.06009
[10] Ferreirim, I.M.A. (1992) On varieties and quasi varieties of hoops and their reducts. PhD Thesis, University of Illinois at Chicago
[11] Gumm, P., Ursini, A. (1984) Ideals in Universal Algebra. Algebra Universalis 19:45–54 · Zbl 0547.08001
[12] Hájek, P. (1998) Metamathematics of Fuzzy Logic. Trends in Logic, Studia Logica Library no. 4. Kluwer Dordercht/ Boston/ London · Zbl 0937.03030
[13] Harrop, R. (1958) On the existence of finite models and decision procedures for propositional calculi. Proc Cambridge Philos Soc 58:1–13 · Zbl 0080.00803
[14] Laskowski, L.C., Shashoua, Y.V. (2002) A classification of BL-algebras. Fuzzy Sets Sys 131:271–282 · Zbl 1013.03072
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. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.