Proof Theory of Paraconsistent Weak Kleene Logic

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

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.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,795

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Analytics

Added to PP
2019-10-25

Downloads
41 (#552,696)

6 months
5 (#1,071,419)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Francesco Paoli
Universita di Cagliari