Proof theory of paraconsistent weak Kleene logic
Paraconsistent Weak Kleene logic (\(\mathbf{PKW}\)) is the three-valued logic that arises from the weak truth-tables due to \textit{S. C. Kleene} [Introduction to metamathematics. Groningen: P. Noordhoff N. V. (1952; Zbl 0047.00703)], where the intermediate value is taken to be a designated value. Until very recently, (\(\mathbf{PKW}\)) has been the little brother of the other logics in the Kleene family in terms of recognition by the logical and philosophical communities. In [\textit{D. E. Szmuc}, Log. Log. Philos. 28, No. 2, 277--330 (2019; Zbl 1452.03070)] it was already noted that there has been a revival of interest for (\(\mathbf{PKW}\)), both from a semantic and from a proof-theoretic point of view. In the present paper, it is noted that on the proof-theoretic side, many of the presented calculi have some linguistic restrictions on some of their rules. A calculus is provided that avoid such side conditions. The presented calculus is somewhere in between a sequent calculus and a natural deduction calculus. Furthermore, a Priest-style tableau calculus for (\(\mathbf{PKW}\)) that uses signed formulas, is introduced.
- A tableau style proof system for two paraconsistent logics
- Abstract algebraic logic. An introductory textbook
- An epistemic interpretation of paraconsistent weak Kleene logic
- An introduction to non-classical logic. From if to is
- Characterizing logical consequence in paraconsistent weak Kleene
- Conjunction and disjunction in infectious logics
- Equivalence of consequence operations
- Gentzen's cut-free calculus versus the logic of paradox
- Handbook of philosophical logic. Vol. 6
- scientific article; zbMATH DE number 5997426 (Why is no real title available?)
- scientific article; zbMATH DE number 3129315 (Why is no real title available?)
- scientific article; zbMATH DE number 4033738 (Why is no real title available?)
- scientific article; zbMATH DE number 1989647 (Why is no real title available?)
- scientific article; zbMATH DE number 1852926 (Why is no real title available?)
- scientific article; zbMATH DE number 3061149 (Why is no real title available?)
- scientific article; zbMATH DE number 3073037 (Why is no real title available?)
- Logics based on linear orders of contaminating values
- Logics of left variable inclusion and Płonka sums of matrices
- Logics of variable inclusion and the lattice of consequence relations
- Meaning and proscription in formal logic. Variations on the propositional logic of William T. Parry
- Meaningless divisions
- Modeling the interaction of computer errors by four-valued contaminating logics
- Natural deduction systems for logics in the FDE family
- Off-topic: a new interpretation of weak Kleene logic
- On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis
- Proof theory for fuzzy logics
- Relevant logics obeying component homogeneity
- Semantical analysis of weak Kleene logics
- Sequent calculi for the classical fragment of Bochvar and Halldén's nonsense logics
- Simple consequence relations
- The logics of strict-tolerant logic
- Meaningless divisions
- A simple logical matrix and sequent calculus for Parry's logic of analytic implication
- Monstrous content and the bounds of discourse
- Neutral free logic: motivation, proof theory and models
- On all strong Kleene generalizations of classical logic
- Logical Weak Completions of Paraconsistent Logics
- scientific article; zbMATH DE number 759538 (Why is no real title available?)
- Proof-theoretic conservations of weak weak intuitionistic constructive set theories
- Structural proof theory for first-order weak Kleene logics
- Extensions of paraconsistent weak Kleene logic
- Pure variable inclusion logics
- scientific article; zbMATH DE number 6407640 (Why is no real title available?)
- An epistemic interpretation of paraconsistent weak Kleene logic
- Characterizing logical consequence in paraconsistent weak Kleene
- On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis
- Conjunction in paraconsistent weak Kleene logic
- Semantical analysis of weak Kleene logics
- The (Greatest) Fragment of Classical Logic that Respects the Variable-Sharing Principle (in the FMLA-FMLA Framework)
- A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus
- A generalization of Beall's off-topic interpretation
- Editorial introduction
- Finite Hilbert systems for weak Kleene logics
- Non-reflexive nonsense: proof theory of paracomplete weak Kleene logic
- A new game theoretic semantics (GTS-2) for weak Kleene logics
- Tableaux for metainferential logics
- A case for weak Kleene ST
This page was built for publication: Proof theory of paraconsistent weak Kleene logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2193974)
