An Epistemic Interpretation of Paraconsistent Weak Kleene Logic

DOI10.12775/LLP.2019.014zbMath1452.03070OpenAlexW2947798545WikidataQ127820154 ScholiaQ127820154MaRDI QIDQ5215506

Damian Szmuc

Publication date: 11 February 2020

Published in: Logic and Logical Philosophy (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.12775/llp.2019.014

zbMATH Keywords

sequent calculusweak Kleene logiccontainment logicinfectious logic

Mathematics Subject Classification ID

Many-valued logic (03B50) Paraconsistent logics (03B53)

Related Items (7)

Proof theory of paraconsistent weak Kleene logic ⋮ A logical modeling of severe ignorance ⋮ Neutral free logic: motivation, proof theory and models ⋮ A simple logical matrix and sequent calculus for Parry's logic of analytic implication ⋮ Exactly true and non-falsity logics meeting infectious ones ⋮ Structural proof theory for first-order weak Kleene logics ⋮ Peirce’s Triadic Logic and Its (Overlooked) Connexive Expansion

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Angellic content
• Borderline vs. unknown: comparing three-valued representations of imperfect information
• On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis
• A note on the law of identity and the converse Parry property
• Conjunction and disjunction in infectious logics
• Non-triviality done proof-theoretically
• Rivals to Belnap-Dunn logic on interlaced trilattices
• Natural deduction for Fitting's four-valued generalizations of Kleene's logics
• Intuitive semantics for first-degree entailments and `coupled trees'
• Semantics for analytic containment
• Logics of nonsense and Parry systems
• Reasoning about ignorance and contradiction: many-valued logics versus epistemic logic
• Faulty Belnap computers and subsystems of FDE
• Generalized truth values.: A reply to Dubois
• MULTIPLE-CONCLUSION LP AND DEFAULT CLASSICALITY
• Paraconsistency and analyticity
• Natural 3-valued logics—characterization and proof theory
• Bilattices and the semantics of logic programming
• A computational interpretation of conceptivism
• Defining LFIs and LFUs in extensions of infectious logics
• Natural deduction for three-valued regular logics
• Natural Deduction for Four-Valued both Regular and Monotonic Logics
• On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus
• The Relevant Equivalence Property
• On Ignorance and Contradiction Considered as Truth-Values

This page was built for publication: An Epistemic Interpretation of Paraconsistent Weak Kleene Logic