Subvarieties of BL-algebras generated by single-component chains

Archive for Mathematical Logic

Volumn 41, Issue 7, 2002, Pages 673-685

  Di Nola, Antonio ^a   Esteva, Francesc ^b   Garcia, Pere ^b   Godo, Lluís ^b   Sessa, Salvatore ^c  

^a UNIVERSITY OF SALERNO   (Italy)

^b CSIC   (Spain)

^c UNIVERSITY OF NAPLES FEDERICO II   (Italy)

Author keywords

BL algebras; Equational characterization; Subvarieties

Indexed keywords

EID: 0035981352     PISSN: 09335846     EISSN: None     Source Type: Journal    
DOI: 10.1007/s001530100114     Document Type: Article

References (17)

1. [AM] Aglianó, P., Montagna, F.: Varieties of BL algebras. University of Siena (Preprint)
2. [BD74] Balbes, R., Dwinger, P.: Distributive lattices, University of Missouri Press, 1974
3. [BEG99] Boixader, D., Esteva, F., Godo, L.: On the continuity of t-norms on bounded chains. Proc. of IFSA'99, Taiwan, August, 476-479 (1999)
4. [CT00] Cignoli, R., Torrens, A.: An Algebraic Analysis of Product Logic, Multiple Valued Logic 5, 45-65 (2000)
5. [CEGT00] Cignoli, R., Esteva, F., Godo, L., Torrens, A.: Basic Fuzzy Logic is the logic of continuous t-norms and their residua. Soft Computing 4, 106-112 (2000)
6. [CM00] Cignoli, R., D'Ottaviano, I.M.L., Mundici, D.: Algebraic Foundations of Many-valued Reasoning, Kluwer, 2000
7. [Ci01] Cintula, P.: About axiomatic systems of product fuzzy logic. Soft Computing 5, 237-242 (2001)
8. [DSEGG] Di Nola, A., Sessa, S., Esteva, F., Godo, L., Garcia, P.: The variety generated by perfect BL-algebras: an algebraic approach in Fuzzy Logic setting. Annals of Mathematics and Artificial Intelligence 35, 197-214 (2002)
9. [DL99] Di Nola, A., Lettieri, A.: Equational Characterization of all Varieties of MV-algebras. Journal of Algebra 221, 463-474 (1999)
10. [EGHN] Esteva, F., Godo, L., Hájek, P., Navara, M.: Residuated fuzzy logics with an involutive negation. Archive for Mathematical Logic 39, 103-124 (2000)
11. [Got01] Gottwald, S.: A Treatise on Many-valued Logics. Research Studies Press, UK, 2001
12. [Gri73] Grigolia, R.S.: Algebraic Analysis of Lukasiewicz-Tarski's n-valued logical systems, in (A.R.Wojcicki and G.Malinowski Eds.), Selected papers on Lukasiewicz sentential calculus. Ossolineum, Wroclaw, 81-92 (1977)
13. [Haj98a] Hájek, P.: Metamathematics of Fuzzy Logic, Kluwer, 1998
14. [Haj98b] Hájek, P.: Basic Fuzzy Logic and BL algebras, Soft Computing 2(3), 124-128 (1998)
15. [HGE96] Hájek, P., Godo, L, Esteva, F.: A complete many-valued logic with product conjunction, Archive for Mathematical Logic 35, 191-208 (1996)
16. [Ko81] Komori, Y.: Super-Lukasiewicz Propositional Logic, Nagoya Math. Journal 84, 119-133 (1981)
17. [RT94] Rodríguez, A.J., Torrens, A.: Wajsberg algebras and Post algebras, Studia Logica 53, 1-19 (1994)