Mapping Abelian \(\ell\)-groups with strong unit one-one into MV algebras

DOI10.1016/0021-8693(86)90015-3zbMath0579.06016OpenAlexW2025013387MaRDI QIDQ1066930

Daniele Mundici

Publication date: 1986

Published in: Journal of Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0021-8693(86)90015-3

zbMATH Keywords

MV-algebraslattice-ordered groupstrong unit\(\aleph _ 0\)-valued Lukasiewicz sentential calculusAbelian \(\ell \)-groups

Mathematics Subject Classification ID

General theory of (C^*)-algebras (46L05) Other algebras related to logic (03G25) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20) Logical aspects of ?ukasiewicz and Post algebras (03G20)

Related Items (16)

Proof theory for lattice-ordered groups ⋮ Satisfiability in many-valued sentential logic is NP-complete ⋮ European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '88), Padova, 1988 ⋮ Meeting of the Association for Symbolic Logic, Campinas, Brazil, 1985 ⋮ Inverse topological systems and compactness in abstract model theory ⋮ Rational Pavelka logic: the best among three worlds? ⋮ Torsion factors of commutative monoid semirings ⋮ Unnamed Item ⋮ Priestley duality and quotient lattices of many-valued algebras ⋮ Bézout Domains with Nonzero Unit Radical ⋮ Ultraproducts of \(\mathbb{Z}\) with an application to many-valued logics ⋮ Strict MV-algebras ⋮ Algebraic structures in fuzzy logic ⋮ Nilpotency and the Hamiltonian property for cancellative residuated lattices ⋮ On the complexity of validity degrees in Łukasiewicz logic ⋮ ALGEBRAIC EXPANSIONS OF LOGICS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
• On the classification of inductive limits of sequences of semisimple finite-dimensional algebras
• Present trends in pure mathematics
• Groupes et anneaux reticules
• Transformation groups and \(C^ *\)-algebras
• Lattice-ordered groups
• Algebraic Analysis of Many Valued Logics
• Fragments of Many-Valued Statement Calculi
• A New Proof of the Completeness of the Lukasiewicz Axioms
• Dimension Groups and Their Affine Representations
• Polyadic MV-Algebras
• Theorie der polyadischenMV-Algebren endlicher Ordnung
• Arithmetische Theorie derMV-Algebren endlicher Ordnung
• Inductive Limits of Finite Dimensional C ∗ -Algebras
• Axiom schemes for m-valued propositions calculi

This page was built for publication: Mapping Abelian \(\ell\)-groups with strong unit one-one into MV algebras