A finite axiomatization of positive MV-algebras

Autor:	Abbadini, Marco, Jipsen, Peter, Kroupa, Tomáš, Vannucci, Sara
Rok vydání:	2021
Předmět:	Mathematics - Logic Primary: 06D35. Secondary: 06F05 08C15
Zdroj:	Journal of Pure and Applied Algebra, 226, 4 (2021)
Druh dokumentu:	Working Paper
DOI:	10.1007/s00012-022-00776-3
Popis:	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.
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/2112.03190 Zobrazit plný text záznamu View this record from Arxiv