Natural Deduction for Four-Valued both Regular and Monotonic Logics

Logic and Logical Philosophy 27 (1):53-66 (2018)
Authors
Yaroslav Petrukhin
Moscow State University
Abstract
The development of recursion theory motivated Kleene to create regular three-valued logics. Remove it taking his inspiration from the computer science, Fitting later continued to investigate regular three-valued logics and defined them as monotonic ones. Afterwards, Komendantskaya proved that there are four regular three-valued logics and in the three-valued case the set of regular logics coincides with the set of monotonic logics. Next, Tomova showed that in the four-valued case regularity and monotonicity do not coincide. She counted that there are 6400 four-valued regular logics, but only six of them are monotonic. The purpose of this paper is to create natural deduction systems for them. We also describe some functional properties of these logics.
Keywords natural deduction  four-valued logic  regular logic  monotonic logic  Kleene’s logics  Belnap–Dunn’s logic
Categories (categorize this paper)
DOI 10.12775/LLP.2017.001
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 36,555
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

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Natural Deduction for Three-Valued Regular Logics.Yaroslav Petrukhin - 2017 - Logic and Logical Philosophy 26 (2):197–206.
Many-Valued Reflexive Autoepistemic Logic.C. Koutras & S. Zachos - 2000 - Logic Journal of the IGPL 8 (1):33-54.
Proof Theory of Finite-Valued Logics.Richard Zach - 1993 - Dissertation, Technische Universität Wien
An Infinity of Super-Belnap Logics.Umberto Rivieccio - 2012 - Journal of Applied Non-Classical Logics 22 (4):319 - 335.
Partiality and its Dual.J. Michael Dunn - 2000 - Studia Logica 66 (1):5-40.
How to Avoid Deviance (in Logic).Walter Sinnott-Armstrong & Amit Malhotra - 2002 - History and Philosophy of Logic 23 (3):215--36.

Analytics

Added to PP index
2018-06-12

Total downloads
3 ( #868,577 of 2,302,807 )

Recent downloads (6 months)
3 ( #200,559 of 2,302,807 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature