Mapping Abelian -groups with strong unit one-one into MV algebras

DOI10.1016/0021-8693(86)90015-3MaRDI QIDQ1066930zbMATH OpenOpenAlexFDO

Authors 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

\(\aleph _ 0\)-valued Lukasiewicz sentential calculusAbelian \(\ell \)-groupslattice-ordered groupMV-algebrasstrong unit

Mathematics Subject Classification ID

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

Recommendations

• Abelian \(\ell\)-groups with strong unit and perfect MV-algebras
• An elementary presentation of the equivalence between MV-algebras and \(\ell\)-groups with strong unit
• scientific article; zbMATH DE number 764334
• Extending Chang's construction to the category of m-zeroids and some category containing the category of abelian \(\ell\)-groups with strong unit.
• The Morita-equivalence between MV-algebras and lattice-ordered abelian groups with strong unit.

Cites work

• A New Proof of the Completeness of the Lukasiewicz Axioms
• Algebraic Analysis of Many Valued Logics
• Arithmetische Theorie derMV-Algebren endlicher Ordnung
• Axiom schemes for m-valued propositions calculi
• Dimension Groups and Their Affine Representations
• Fragments of Many-Valued Statement Calculi
• Groupes et anneaux reticules
• scientific article; zbMATH DE number 3650623 (Why is no real title available?)
• scientific article; zbMATH DE number 3712020 (Why is no real title available?)
• scientific article; zbMATH DE number 3203867 (Why is no real title available?)
• scientific article; zbMATH DE number 3222127 (Why is no real title available?)
• scientific article; zbMATH DE number 3290336 (Why is no real title available?)
• Inductive Limits of Finite Dimensional C ∗ -Algebras
• Interpretation of AF C^*-algebras in Łukasiewicz sentential calculus
• Lattice-ordered groups
• On the classification of inductive limits of sequences of semisimple finite-dimensional algebras
• Polyadic MV-Algebras
• Present trends in pure mathematics
• Theorie der polyadischenMV-Algebren endlicher Ordnung
• Transformation groups and C^ *-algebras

Cited in

(20)

• Abelian \(\ell\)-groups with strong unit and perfect MV-algebras
• Satisfiability in many-valued sentential logic is NP-complete
• Priestley duality and quotient lattices of many-valued algebras
• Ultraproducts of \(\mathbb{Z}\) with an application to many-valued logics
• Strict MV-algebras
• Algebraic structures in fuzzy logic
• Demiquantifiers on \(\ell \)-groups
• On the complexity of validity degrees in Łukasiewicz logic
• Proof theory for lattice-ordered groups
• European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '88), Padova, 1988
• Bézout domains with nonzero unit radical
• Meeting of the Association for Symbolic Logic, Campinas, Brazil, 1985
• Inverse topological systems and compactness in abstract model theory
• scientific article; zbMATH DE number 269313 (Why is no real title available?)
• Nilpotency and the Hamiltonian property for cancellative residuated lattices
• ALGEBRAIC EXPANSIONS OF LOGICS
• Rational Pavelka logic: the best among three worlds?
• Torsion factors of commutative monoid semirings
• The MaxSAT problem in the real-valued MV-algebra
• Additively idempotent matrix semirings

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1066930)