A finite axiomatization of positive MV-algebras
arXiv:2112.03190 · doi:10.1007/s00012-022-00776-3
Abstract
Positive MV-algebras are the subreducts of MV-algebras with respect to the signature . We provide a finite quasi-equational axiomatization for the class of such algebras.