Consequence Relations with Real Truth Values
From MaRDI portal
Publication:5020171
DOI10.1007/978-3-030-71258-7_11zbMath1484.03042OpenAlexW3190586365MaRDI QIDQ5020171
Publication date: 4 January 2022
Published in: Outstanding Contributions to Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-030-71258-7_11
MV-algebraŁukasiewicz logicWajsberg algebrastable semanticsmodus ponensŁukasiewicz calculusconsequentia mirabilisŁukasiewicz implicationdifferential semantics\([0, 1\)-valued observable]Łukasiewicz axioms
Cites Work
- Advanced Łukasiewicz calculus and MV-algebras
- Fuzzy implications
- Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
- Theory of logical calculi. Basic theory of consequence operations
- An algebraic approach to non-classical logics
- On the classification of inductive limits of sequences of semisimple finite-dimensional algebras
- Extending addition in Elliott's local semigroup
- The writing of the MV-algebras
- Word problems in Elliott monoids
- Algebraic foundations of many-valued reasoning
- Geometry of Robinson consistency in Łukasiewicz logic
- The Differential Semantics of Łukasiewicz Syntactic Consequence
- Algebraic Analysis of Many Valued Logics
- Fragments of Many-Valued Statement Calculi
- A New Proof of the Completeness of the Lukasiewicz Axioms
- Semi-implication: A Chapter in Universal Logic
- Axiomatization of the infinite-valued predicate calculus
- A theorem about infinite-valued sentential logic
- Unnamed Item
- Unnamed Item
This page was built for publication: Consequence Relations with Real Truth Values
