Geometry of Robinson consistency in Łukasiewicz logic

DOI10.1016/j.apal.2006.11.003zbMath1125.03016MaRDI QIDQ2370369

Daniele Mundici, Manuela Busaniche

Publication date: 25 June 2007

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

Full work available at URL: https://doi.org/10.1016/j.apal.2006.11.003

zbMATH Keywords

MV-algebra; Łukasiewicz logic; Robinson joint consistency

Mathematics Subject Classification ID

06D35: MV-algebras

03B50: Many-valued logic

Related Items

Bouligand-Severi \(k\)-tangents and strongly semisimple MV-algebras., Amalgamation through quantifier elimination for varieties of commutative residuated lattices, Finite axiomatizability in Łukasiewicz logic, Interpretation of De Finetti coherence criterion in Łukasiewicz logic, Amalgamation and interpolation in ordered algebras.

Cites Work

• Unnamed Item
• Unnamed Item
• Interpolation and the Robinson property for logics not closed under the Boolean operations
• Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
• Free products in the category of Abelian \(\ell\)-groups with strong unit
• Prime ideals in free \(\ell\)-groups and free vector lattices
• Metamathematics of fuzzy logic
• Algebraic foundations of many-valued reasoning
• One chain generated varieties of MV-algebras
• Amalgamation, congruence-extension, and interpolation properties in algebras
• Compactness, interpolation and Friedman's third problem
• A geometric proof of the completeness of the Łukasiewicz calculus
• Convex Polytopes
• Amalgamations of Lattice Ordered Groups
• Decidable and undecidable prime theories in infinite-valued logic