A Finite Axiomatization of Positive MV-Algebras
Document Type
Article
Publication Date
6-28-2022
Abstract
Positive MV-algebras are the subreducts of MV-algebras with respect to the signature {⊕,⊙,∨,∧,0,1}. We provide a finite quasi-equational axiomatization for the class of such algebras.
Recommended Citation
Abbadini, M., Jipsen, P., Kroupa, T. et al. A finite axiomatization of positive MV-algebras. Algebra Univers. 83, 28 (2022). https://doi.org/10.1007/s00012-022-00776-3
Peer Reviewed
1
Copyright
Springer
Comments
This article was originally published in Algebra Universalis, volume 83, in 2022. https://doi.org/10.1007/s00012-022-00776-3