A finite axiomatization of positive MV-algebras

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

zbMATH Keywords

MV-algebrasquasivarietiesaxiomatizationlattice-ordered monoidsquasi-equationspositive subreducts

Mathematics Subject Classification ID

MV-algebras (06D35) Ordered semigroups and monoids (06F05) Quasivarieties (08C15)

Related Items (1)

Complemented MacNeille completions and algebras of fractions

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