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 the class of such algebras.

中文翻译：

---

正 MV 代数的有限公理化

正 MV 代数是 MV 代数关于签名\(\{\oplus , \odot , \vee , \wedge , 0, 1\}\)的子约简。我们为此类代数提供了一个有限的拟方程公理化。