Proof theory of paraconsistent weak Kleene logic
From MaRDI portal
Publication:2193974
DOI10.1007/s11225-019-09876-zzbMath1476.03031OpenAlexW2981680275WikidataQ126986597 ScholiaQ126986597MaRDI QIDQ2193974
Francesco Paoli, Michele Pra Baldi
Publication date: 25 August 2020
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-019-09876-z
sequent calculiparaconsistent weak Kleene logic3-valued logicslogics of variable inclusiontableaux calculi
Cut-elimination and normal-form theorems (03F05) Many-valued logic (03B50) Paraconsistent logics (03B53)
Related Items (6)
Pure Variable Inclusion Logics ⋮ The (Greatest) Fragment of Classical Logic that Respects the Variable-Sharing Principle (in the FMLA-FMLA Framework) ⋮ Monstrous content and the bounds of discourse ⋮ Neutral free logic: motivation, proof theory and models ⋮ A simple logical matrix and sequent calculus for Parry's logic of analytic implication ⋮ Meaningless divisions
Cites Work
- The logics of strict-tolerant logic
- On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis
- Simple consequence relations
- A tableau style proof system for two paraconsistent logics
- Conjunction and disjunction in infectious logics
- Meaning and proscription in formal logic. Variations on the propositional logic of William T. Parry
- Handbook of philosophical logic. Vol. 6
- Meaningless divisions
- Logics of left variable inclusion and Płonka sums of matrices
- Modeling the interaction of computer errors by four-valued contaminating logics
- Equivalence of consequence operations
- Proof theory for fuzzy logics
- Relevant Logics Obeying Component Homogeneity
- Natural Deduction Systems for Logics in the FDE Family
- Logics of variable inclusion and the lattice of consequence relations
- Logics based on linear orders of contaminating values
- An Epistemic Interpretation of Paraconsistent Weak Kleene Logic
- Semantical analysis of weak Kleene logics
- 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
This page was built for publication: Proof theory of paraconsistent weak Kleene logic