The Differential Semantics of Łukasiewicz Syntactic Consequence

DOI10.1007/978-3-319-06233-4_7zbMath1386.03022arXiv1207.5713OpenAlexW1556114772MaRDI QIDQ2948587

Daniele Mundici

Publication date: 6 October 2015

Published in: Petr Hájek on Mathematical Fuzzy Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1207.5713

zbMATH Keywords

consequence relationMV-algebrabasic logict-normŁukasiewicz logicstrongly semisimpleBouligand-Severi tangentsyntactic and semantic consequencet-tautology

Mathematics Subject Classification ID

Nonsmooth analysis (49J52) Fuzzy logic; logic of vagueness (03B52) Applications of operator theory in optimization, convex analysis, mathematical programming, economics (47N10) MV-algebras (06D35) Many-valued logic (03B50) Fuzzy sets and logic (in connection with information, communication, or circuits theory) (94D05)

Related Items (5)

Interval MV-algebras and generalizations. ⋮ Germinal theories in Łukasiewicz logic ⋮ Beth definability and the Stone-Weierstrass theorem ⋮ AF-algebras with lattice-ordered \(K_0\): logic and computation ⋮ Consequence Relations with Real Truth Values

Cites Work

• Unnamed Item
• Advanced Łukasiewicz calculus and MV-algebras
• Representation theory of MV-algebras
• The free \(n\)-generated BL-algebra
• Satisfiability in many-valued sentential logic is NP-complete
• Metamathematics of fuzzy logic
• Algebraic foundations of many-valued reasoning
• Geometry of Robinson consistency in Łukasiewicz logic
• Bouligand-Severi tangents in MV-algebras.
• Duality in Vector Optimization
• On matrix representations of consequence operations of Łlukasiewicz's sentential calculi
• Axiomatization of the infinite-valued predicate calculus
• Notes on Strong Completeness in Łukasiewicz, Product and BL Logics and in Their First-Order Extensions
• Complexity of t-tautologies

This page was built for publication: The Differential Semantics of Łukasiewicz Syntactic Consequence