A finite axiomatization of positive MV-algebras
From MaRDI portal
Publication:2153927
DOI10.1007/s00012-022-00776-3OpenAlexW4283655051MaRDI QIDQ2153927
Sara Vannucci, Peter Jipsen, Marco Abbadini, Tomáš Kroupa
Publication date: 13 July 2022
Published in: Algebra Universalis (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2112.03190
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Advanced Łukasiewicz calculus and MV-algebras
- On the axiomatisability of the dual of compact ordered spaces
- Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
- Groupes et anneaux reticules
- Algebraic foundations of many-valued reasoning
- Equivalence à la Mundici for commutative lattice-ordered monoids
- A theorem about infinite-valued sentential logic
- Produits tensoriels topologiques et espaces nucléaires
This page was built for publication: A finite axiomatization of positive MV-algebras