Equational Characterization of All Varieties of MV-Algebras

Abstract

It is known that all subvarieties of MV-algebras are finitely axiomatizable. In the literature, one can find equational characterizations of certain subvarieties, such as MVn-algebras. In this paper we write down equational bases for all MV-varieties and prove a representation theorem for each subvariety. © 1999 Academic Press.