Universal Classes of MV-chains with Applications to Many-valued Logics
Joan Gispert · Mathematical logic quarterly · 2002
In this paper we characterize, classify and axiomatize all universal classes of MV-chains. Moreover, we accomplish analogous characterization, classification and axiomatization for congruence distributive quasivarieties of MV-algebras. Finally, we apply those results to study some finitary extensions of the Łukasiewicz infinite valued propositional calculus.