Natural Deduction for Fitting’s Four-Valued Generalizations of Kleene’s Logics

Logica Universalis 11 (4):525-532 (2017)
  Copy   BIBTEX

Abstract

In this paper, we present sound and complete natural deduction systems for Fitting’s four-valued generalizations of Kleene’s three-valued regular logics.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

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

Remarks on the Gupta-Belnap fixed-point property for k-valued clones.José Martínez-Fernández - 2014 - Journal of Applied Non-Classical Logics 24 (1-2):118-131.
Many-valued reflexive autoepistemic logic.C. Koutras & S. Zachos - 2000 - Logic Journal of the IGPL 8 (1):33-54.
Lewis Dichotomies in Many-Valued Logics.Simone Bova - 2012 - Studia Logica 100 (6):1271-1290.

Analytics

Added to PP
2017-05-10

Downloads
25 (#618,847)

6 months
8 (#347,798)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Yaroslav Petrukhin
Moscow State University
Yaroslav Petrukhin
Moscow State University

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.
Dualities for Płonka Sums.Stefano Bonzio - 2018 - Logica Universalis 12 (3-4):327-339.

Add more citations

References found in this work

The logic of paradox.Graham Priest - 1979 - Journal of Philosophical Logic 8 (1):219 - 241.
On notation for ordinal numbers.S. C. Kleene - 1938 - Journal of Symbolic Logic 3 (4):150-155.
A Calculus for Antinomies.F. G. Asenjo - 1966 - Notre Dame Journal of Formal Logic 16 (1):103-105.

View all 11 references / Add more references