Geometry of Robinson consistency in Łukasiewicz logic
From MaRDI portal
Publication:2370369
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
Related Items
Consequence Relations with Real Truth Values, Bratteli diagrams via the De Concini–Procesi theorem, 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, Word problems in Elliott monoids, Polyhedral MV-algebras, On deductive interpolation for the weak nilpotent minimum logic, Functional representation of finitely generated free algebras in subvarieties of BL-algebras, Completeness for monadic fuzzy logics via functional algebras, Amalgamation and interpolation in ordered algebras., The Differential Semantics of Łukasiewicz Syntactic Consequence
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