The Differential Semantics of Łukasiewicz Syntactic Consequence
DOI10.1007/978-3-319-06233-4_7zbMath1386.03022arXiv1207.5713OpenAlexW1556114772MaRDI QIDQ2948587
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
consequence relationMV-algebrabasic logict-normŁukasiewicz logicstrongly semisimpleBouligand-Severi tangentsyntactic and semantic consequencet-tautology
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)
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