A finite axiomatization of positive MV-algebras
Logic
2022-06-29 v3
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.
Cite
@article{arxiv.2112.03190,
title = {A finite axiomatization of positive MV-algebras},
author = {Marco Abbadini and Peter Jipsen and Tomáš Kroupa and Sara Vannucci},
journal= {arXiv preprint arXiv:2112.03190},
year = {2022}
}