Coordinatizing some concrete MV algebras and a decomposition theorem

DOI10.1007/S00233-018-9920-YzbMath1467.06010OpenAlexW2790002386MaRDI QIDQ666682

Juan-Miguel Gracia

Publication date: 11 March 2019

Published in: Semigroup Forum (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00233-018-9920-y

zbMATH Keywords

coordinatizationMV algebraseffect algebras Boolean inverse monoids

Mathematics Subject Classification ID

MV-algebras (06D35) Inverse semigroups (20M18)

Related Items (1)

AF-algebras with lattice-ordered \(K_0\): logic and computation

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• AF inverse monoids and the structure of countable MV-algebras
• Advanced Łukasiewicz calculus and MV-algebras
• Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
• Logic of infinite quantum systems
• Algebraic foundations of many-valued reasoning
• Refinement monoids, equidecomposability types, and Boolean inverse semigroups
• New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic
• Algebraic Analysis of Many Valued Logics
• \(C^*\)-algebras by example

This page was built for publication: Coordinatizing some concrete MV algebras and a decomposition theorem