Proof theory of paraconsistent weak Kleene logic

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

zbMATH Keywords

sequent calculiparaconsistent weak Kleene logic3-valued logicslogics of variable inclusiontableaux calculi

Mathematics Subject Classification ID

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