Equational Characterization of All Varieties of MV-Algebras

Journal of Algebra

Volumn 221, Issue 2, 1999, Pages 463-474

  Di Nola, Antonio ^a   Lettieri, Ada ^b  

^a UNIVERSITY OF SALERNO   (Italy)

^b UNIVERSITY OF NAPLES FEDERICO II   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0033570794     PISSN: 00218693     EISSN: None     Source Type: Journal    
DOI: 10.1006/jabr.1999.7900     Document Type: Article

References (9)

1. Belluce L. P., Di Nola A., Lettieri A. Local MV-algebras. Rend. Circ. Mat. Palermo. (2). 42:1993.
2. Chang C. C. Algebraic analysis of many valued logics. Trans. Amer. Math. Soc. 88:1958;467-490.
3. Chang C. C. A new proof of the completeness of Lukasiewicz axioms. Trans. Amer. Math. Soc. 93:1959;74-80.
4. Di Nola A., Lettieri A. Perfect MV-algebras are categorically equivalent to abelian ℓ-groups. Studia Logica. 53:1994;417-432.
5. Di Nola A., Liguori F., Sessa S. Using maximal ideals in the classification of MV-algebras. Portugal. Math. 50:1993;87-102.
6. Grigolia R. Algebraic analysis of Lukasiewicz-Tarski n-valued logical systems. Polish Acad. Sci. Ossolineum Wroclaw. 1977;71-82.
7. Komori Y. Super Lukasiewicz propositional logics. Nagoya Math. J. 84:1981;119-133.
8. Mangani P. On certain algebras related to many-valued logics. Boll. Un. Mat. Ital. 4:1973;68-78.
9. Mundici D. Interpretation of AFC-algebras in Lukasiewicz sentential calculus. J. Funct. Anal. 65:1986;15-63.