A finite axiomatization of positive MV-algebras

Marco Abbadini, Peter Jipsen, Tomáš Kroupa +1

Positive MV-algebras are the subreducts of MV-algebras with respect to the signature $\{\oplus ,\odot ,\vee ,\wedge ,0,1\}$. We provide a finite quasi-equational axiomatization for…