A finite axiomatization of positive MV-algebras
From MaRDI portal
Publication:6384948
DOI10.1007/s00012-022-00776-3zbMath1529.06016arXiv2112.03190MaRDI QIDQ6384948
Tomáš Kroupa, Peter Jipsen, Sara Vannucci, Marco Abbadini
Publication date: 6 December 2021
This page was built for publication: A finite axiomatization of positive MV-algebras