Locally Finite Quasivarieties of MV-algebras

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.

Cited by in corpus (1)

• Degree-preserving Godel logics with an involution: intermediate logics and (ideal) paraconsistency