Decidable and undecidable prime theories in infinite-valued logic

DOI10.1016/S0168-0072(00)00051-8zbMath1130.03019MaRDI QIDQ5935996

Giovanni Panti, Daniele Mundici

Publication date: 2 July 2001

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

MV-algebrasdecidable theoriesdesingularizationfanlattice-ordered abelian groupspiecewise-linear functions

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35) Decidability of theories and sets of sentences (03B25) MV-algebras (06D35) Many-valued logic (03B50) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20)

Related Items (4)

Geometry of Robinson consistency in Łukasiewicz logic ⋮ Bratteli diagrams via the De Concini–Procesi theorem ⋮ Finite axiomatizability in Łukasiewicz logic ⋮ Interpretation of De Finetti coherence criterion in Łukasiewicz logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
• Groupes et anneaux reticules
• Prime ideals in free \(\ell\)-groups and free vector lattices
• Introduction to Toric Varieties. (AM-131)
• Algebraic Analysis of Many Valued Logics
• A New Proof of the Completeness of the Lukasiewicz Axioms
• Super-Łukasiewicz propositional logics
• A constructive proof of McNaughton's theorem in infinite-valued logic
• Varieties of MV-algebras
• A geometric proof of the completeness of the Łukasiewicz calculus

This page was built for publication: Decidable and undecidable prime theories in infinite-valued logic