Locally Finite Quasivarieties of MV-algebras

2014/05/29 by Gispert, Joan, Torrens, Antoni
#FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.1405.7504

Abstract

In this paper we show that every locally finite quasivariety of MV-algebras is finitely generated and finitely based. To see this result we study critical MV-algebras. We also give axiomatizations of some of these quasivarieties.

Related

• On the geometric theory of local MV-algebras
• Profinite MV-algebras
• Varieties of MV-monoids and positive MV-algebras
• Duality for finitely valued algebras
• State morphism MV-algebras