Consequence Relations with Real Truth Values

DOI10.1007/978-3-030-71258-7_11MaRDI QIDQ5020171zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• scientific article; zbMATH DE number 4181329
• A geometric proof of the completeness of the Łukasiewicz calculus
• Decidable and undecidable prime theories in infinite-valued logic
• scientific article; zbMATH DE number 2148622
• On the infinite-valued Łukasiewicz logic that preserves degrees of truth
• Prime ideals in free \(\ell\)-groups and free vector lattices
• Decomposability of free Łukasiewicz implication algebras
• Implicative subreducts of MV-algebras: free and weakly projective objects
• Prime deductive systems and injective objects in the algebras of Łukasiewicz infinite-valued calculi
• scientific article; zbMATH DE number 3887682

Cites work

• scientific article; zbMATH DE number 3124827 (Why is no real title available?)
• scientific article; zbMATH DE number 3335866 (Why is no real title available?)
• A New Proof of the Completeness of the Lukasiewicz Axioms
• A theorem about infinite-valued sentential logic
• Advanced Łukasiewicz calculus and MV-algebras
• Algebraic Analysis of Many Valued Logics
• Algebraic foundations of many-valued reasoning
• An algebraic approach to non-classical logics
• Axiomatization of the infinite-valued predicate calculus
• Extending addition in Elliott's local semigroup
• Fragments of Many-Valued Statement Calculi
• Fuzzy implications
• Geometry of Robinson consistency in Łukasiewicz logic
• Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
• On the classification of inductive limits of sequences of semisimple finite-dimensional algebras
• Semi-implication: a chapter in universal logic
• The differential semantics of Łukasiewicz syntactic consequence
• The writing of the MV-algebras
• Theory of logical calculi. Basic theory of consequence operations
• Word problems in Elliott monoids

Cited in

(3)

• The differential semantics of Łukasiewicz syntactic consequence
• A consequence relation for graded inference within the frame of infinite-valued Łukasiewicz logic
• scientific article; zbMATH DE number 4057480 (Why is no real title available?)

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)