Two-valued weak Kleene logics

Manuscrito 42 (1):1-43 (2019)
  Copy   BIBTEX


In the literature, Weak Kleene logics are usually taken as three-valued logics. However, Suszko has challenged the main idea of many-valued logic claiming that every logic can be presented in a two-valued fashion. In this paper, we provide two-valued semantics for the Weak Kleene logics and for a number of four-valued subsystems of them. We do the same for the so-called Logics of Nonsense, which are extensions of the Weak Kleene logics with unary operators that allow looking at them as Logics of Formal Inconsistency and Logics of Formal Underterminedness. Our aim with this work, rather than arguing for Suszko’s thesis, is to show that two-valued presentations of these peculiar logics enlighten the non-standard behavior of their logical connectives. More specifically, the two-valued presentations of paraconsistent logics illustrate and clarify the disjunctive flavor of the conjunction, and dually, the two-valued presentations of paracomplete subsystems of Weak Kleene logics reveal the conjunctive flavor of the disjunction.



    Upload a copy of this work     Papers currently archived: 83,890

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

Semantical analysis of weak Kleene logics.Roberto Ciuni & Massimiliano Carrara - 2019 - Journal of Applied Non-Classical Logics 29 (1):1-36.
Natural Deduction for Three-Valued Regular Logics.Yaroslav Petrukhin - 2017 - Logic and Logical Philosophy 26 (2):197–206.
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.
Lewis Dichotomies in Many-Valued Logics.Simone Bova - 2012 - Studia Logica 100 (6):1271-1290.
Rough Sets and 3-Valued Logics.A. Avron & B. Konikowska - 2008 - Studia Logica 90 (1):69-92.
How to avoid deviance (in logic).Walter Sinnott-Armstrong & Amit Malhotra - 2002 - History and Philosophy of Logic 23 (3):215--36.
A Hierarchy of Weak Double Negations.Norihiro Kamide - 2013 - Studia Logica 101 (6):1277-1297.


Added to PP

17 (#674,174)

6 months
2 (#328,536)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Damian Szmuc
Universidad de Buenos Aires (UBA)

Citations of this work

Exactly true and non-falsity logics meeting infectious ones.Alex Belikov & Yaroslav Petrukhin - 2020 - Journal of Applied Non-Classical Logics 30 (2):93-122.

Add more citations