Positive MV-algebras are negation-free and implication-free subreducts of MV-algebras. In this contribution we show that a finite axiomatic basis exists for the quasivariety of positive MV-algebras coming from any finitely generated variety of MV-algebras.
L. M. Cabrer, P. Jipsen, and T. Kroupa. Positive subreducts in finitely generated varieties of MV-algebras. Presented at SYSMICS, Amsterdam, 2019.