Equational characterization of all varieties of MV-algebras (Q1965268)

MV-algebras have been defined as an algebraic counterpart of the Łukasiewicz infinite-valued propositional logic. Moreover, by Mundici's fundamental theorem, every MV-algebra is isomorphic to an MV-algebra defined by the standard method on an interval of an abelian lattice-ordered group. Although the class of abelian lattice-ordered groups is the least non-trivial variety of the lattice of varieties of lattice-ordered groups, the lattice of varieties of MV-algebras is large. The authors describe all varieties of MV-algebras and, moreover, find equational bases for them.