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