Studia Logica 108 (4):779-802 (2020)
| Authors |
|
| Abstract |
Paraconsistent Weak Kleene Logic is the 3-valued propositional logic defined on the weak Kleene tables and with two designated values. Most of the existing proof systems for PWK are characterised by the presence of linguistic restrictions on some of their rules. This feature can be seen as a shortcoming. We provide a cut-free calculus for PWK that is devoid of such provisos. Moreover, we introduce a Priest-style tableaux calculus for PWK.
|
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| ISBN(s) | |
| DOI | 10.1007/s11225-019-09876-z |
| Options |
Mark as duplicate
Export citation
|
Download options
References found in this work BETA
Paradoxes and Failures of Cut.David Ripley - 2013 - Australasian Journal of Philosophy 91 (1):139 - 164.
Reaching Transparent Truth.Pablo Cobreros, Paul Égré, David Ripley & Robert van Rooij - 2013 - Mind 122 (488):841-866.
Semantical Analysis of Weak Kleene Logics.Roberto Ciuni & Massimiliano Carrara - 2019 - Journal of Applied Non-Classical Logics 29 (1):1-36.
View all 21 references / Add more references
Citations of this work BETA
Structural Proof Theory for First-Order Weak Kleene Logics.Andreas Fjellstad - 2020 - Journal of Applied Non-Classical Logics 30 (3):272-289.
On Bivalent Semantics and Natural Deduction for Some Infectious Logics.Alex Belikov - forthcoming - Logic Journal of the IGPL.
Extensions of Paraconsistent Weak Kleene Logic.Francesco Paoli & Michele Pra Baldi - forthcoming - Logic Journal of the IGPL.
A Simple Logical Matrix and Sequent Calculus for Parry’s Logic of Analytic Implication.Damian E. Szmuc - forthcoming - Studia Logica:1-38.
Similar books and articles
An Epistemic Interpretation of Paraconsistent Weak Kleene Logic.Damian E. Szmuc - forthcoming - Logic and Logical Philosophy:1.
Natural Deduction for Three-Valued Regular Logics.Yaroslav Petrukhin - 2017 - Logic and Logical Philosophy 26 (2):197–206.
On Paraconsistent Weak Kleene Logic: Axiomatisation and Algebraic Analysis.Stefano Bonzio, José Gil-Férez, Francesco Paoli & Luisa Peruzzi - 2017 - Studia Logica 105 (2):253-297.
Off-Topic: A New Interpretation of Weak-Kleene Logic.Jc Beall - 2016 - Australasian Journal of Logic 13 (6).
Track-Down Operations on Bilattices.Damian Szmuc - 2018 - In Robert Wille & Martin Lukac (eds.), Proceedings of the 48th IEEE International Symposium on Multiple-Valued Logic. Los Alamitos, California, EE. UU.: pp. 74-79.
Socratic Proofs and Paraconsistency: A Case Study.Andrzej Wiśniewski, Guido Vanackere & Dorota Leszczyńska - 2005 - Studia Logica 80 (2-3):431-466.
On All Strong Kleene Generalizations of Classical Logic.Stefan Wintein - 2016 - Studia Logica 104 (3):503-545.
A Two-Valued Logic for Reasoning About Different Types of Consequence in Kleene's Three-Valued Logic.Beata Konikowska - 1990 - Studia Logica 49 (4):541 - 555.
Algebraic Analysis of Demodalised Analytic Implication.Antonio Ledda, Francesco Paoli & Michele Pra Baldi - 2019 - Journal of Philosophical Logic 48 (6):957-979.
Partial and Paraconsistent Three-Valued Logics.Vincent Degauquier - 2016 - Logic and Logical Philosophy 25 (2):143-171.
Proof Theory for Positive Logic with Weak Negation.Marta Bílková & Almudena Colacito - 2020 - Studia Logica 108 (4):649-686.
Dual Erotetic Calculi and the Minimal {Mathsf{LFI}}.Szymon Chlebowski & Dorota Leszczyńska-Jasion - 2015 - Studia Logica 103 (6):1245-1278.
Semantical Analysis of Weak Kleene Logics.Roberto Ciuni & Massimiliano Carrara - 2019 - Journal of Applied Non-Classical Logics 29 (1):1-36.
Analytics
Added to PP index
2019-10-25
Total views
11 ( #803,446 of 2,420,820 )
Recent downloads (6 months)
5 ( #152,506 of 2,420,820 )
2019-10-25
Total views
11 ( #803,446 of 2,420,820 )
Recent downloads (6 months)
5 ( #152,506 of 2,420,820 )
How can I increase my downloads?
Downloads
