An Epistemic Interpretation of Paraconsistent Weak Kleene Logic
From MaRDI portal
Publication:5215506
DOI10.12775/LLP.2019.014zbMath1452.03070OpenAlexW2947798545WikidataQ127820154 ScholiaQ127820154MaRDI QIDQ5215506
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
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
