Ultraproducts of \(\mathbb{Z}\) with an application to many-valued logics

DOI10.1006/jabr.1999.7893zbMath0937.06008OpenAlexW2078491542MaRDI QIDQ1306836

Antoni Torrens Torrell, Joan Gispert i Brasó, Daniele Mundici

Publication date: 20 December 1999

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

Full work available at URL: https://doi.org/10.1006/jabr.1999.7893

zbMATH Keywords

lattice-ordered groupultraproductMV-algebrauniversal classestotally ordered grupstotally ordered MV-algebra

Mathematics Subject Classification ID

Other algebras related to logic (03G25) MV-algebras (06D35) Many-valued logic (03B50) Ordered groups (group-theoretic aspects) (20F60) Ultraproducts and related constructions (03C20) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20)

Related Items

Least \(V\)-quasivarieties of MV-algebras ⋮ Representation of perfect and local MV-algebras ⋮ Varieties of BL-algebras. III: Splitting algebras ⋮ Bases of admissible rules of proper axiomatic extensions of Łukasiewicz logic ⋮ Varieties of BL-algebras. II ⋮ Varieties of BL-algebras. I: General properties. ⋮ Structural completeness in many-valued logics with rational constants ⋮ Varieties of BL-algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Mapping Abelian \(\ell\)-groups with strong unit one-one into MV algebras
• Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
• Groupes et anneaux reticules
• Model theory
• Quasivarieties generated by simple MV-algebras
• The poset of prime \(l\)-ideals of an abelian \(l\)-group with a strong unit
• Algebraic Analysis of Many Valued Logics
• A New Proof of the Completeness of the Lukasiewicz Axioms
• Super-Łukasiewicz propositional logics
• Cyclic Elements in MV‐Algebras and Post Algebras
• Varieties of MV-algebras