Consequence Relations with Real Truth Values

DOI10.1007/978-3-030-71258-7_11zbMATH Open1484.03042OpenAlexW3190586365MaRDI QIDQ5020171FDOQ5020171

Daniele Mundici

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

zbMATH Keywords

modus ponensstable semanticsMV-algebraWajsberg algebraconsequentia mirabilisdifferential semanticsŁukasiewicz logicŁukasiewicz implicationŁukasiewicz calculus\([0, 1\)-valued observable]Łukasiewicz axioms

Mathematics Subject Classification ID

Many-valued logic (03B50) MV-algebras (06D35)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
• Theory of logical calculi. Basic theory of consequence operations
• Algebraic foundations of many-valued reasoning
• Algebraic Analysis of Many Valued Logics
• A New Proof of the Completeness of the Lukasiewicz Axioms
• Fuzzy implications
• An algebraic approach to non-classical logics
• Fragments of Many-Valued Statement Calculi
• A theorem about infinite-valued sentential logic
• Advanced Łukasiewicz calculus and MV-algebras
• On the classification of inductive limits of sequences of semisimple finite-dimensional algebras
• Extending addition in Elliott's local semigroup
• Geometry of Robinson consistency in Łukasiewicz logic
• The writing of the MV-algebras
• The Differential Semantics of Łukasiewicz Syntactic Consequence
• Word problems in Elliott monoids
• Axiomatization of the infinite-valued predicate calculus
• Semi-implication: A Chapter in Universal Logic

Recommendations

• On the infinite-valued Łukasiewicz logic that preserves degrees of truth 👍 👎
• Prime ideals in free \(\ell\)-groups and free vector lattices 👍 👎
• A geometric proof of the completeness of the Łukasiewicz calculus 👍 👎
• Decidable and undecidable prime theories in infinite-valued logic 👍 👎
• Decomposability of free Łukasiewicz implication algebras 👍 👎
• Prime deductive systems and injective objects in the algebras of Łukasiewicz infinite-valued calculi 👍 👎
• Implicative subreducts of MV-algebras: free and weakly projective objects 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

This page was built for publication: Consequence Relations with Real Truth Values

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5020171)