Studia Logica 108 (4):779-802 (2020)

Authors
Francesco Paoli
Universita di Cagliari
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
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Translate to english
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 58,408
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Paradoxes and Failures of Cut.David Ripley - 2013 - Australasian Journal of Philosophy 91 (1):139 - 164.
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.

Add more citations

Similar books and articles

Two-Valued Weak Kleene Logics.Bruno da Ré & Damian Szmuc - 2019 - Manuscrito 42 (1):1-43.
Natural Deduction for Three-Valued Regular Logics.Yaroslav Petrukhin - 2017 - Logic and Logical Philosophy 26 (2):197–206.
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.
Partial and Paraconsistent Three-Valued Logics.Vincent Degauquier - 2016 - Logic and Logical Philosophy 25 (2):143-171.
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 )

How can I increase my downloads?

Downloads

My notes