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.

Categories

Keywords

Reprint years

DOI

10.1007/s11787-017-0169-0

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 102,873

External links

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

Through your library

My notes

Similar books and articles

Natural Deduction for Four-Valued both Regular and Monotonic Logics.Yaroslav Petrukhin - 2018 - Logic and Logical Philosophy 27 (1):53-66.
Natural Deduction for Three-Valued Regular Logics.Yaroslav Petrukhin - 2017 - Logic and Logical Philosophy 26 (2):197–206.
Natural Deduction for Post’s Logics and their Duals.Yaroslav Petrukhin - 2018 - Logica Universalis 12 (1-2):83-100.
Normalisation for Some Quite Interesting Many-Valued Logics.Nils Kürbis & Yaroslav Petrukhin - 2021 - Logic and Logical Philosophy 30 (3):493-534.
Kleene's three valued logics and their children.Melvin Fitting - unknown
Automated Proof-searching for Strong Kleene Logic and its Binary Extensions via Correspondence Analysis.Yaroslav Petrukhin & Vasilyi Shangin - 2019 - Logic and Logical Philosophy 28 (2):223-257.
Correspondence analysis for strong three-valued logic.Allard Tamminga - 2014 - Logical Investigations 20:255-268.
A two-valued logic for reasoning about different types of consequence in Kleene's three-valued logic.Beata Konikowska - 1990 - Studia Logica 49 (4):541 - 555.
Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix II. Only one designated value.Gemma Robles, Francisco Salto & José M. Méndez - 2019 - Journal of Applied Non-Classical Logics 29 (3):307-325.
The Class of All Natural Implicative Expansions of Kleene’s Strong Logic Functionally Equivalent to Łkasiewicz’s 3-Valued Logic Ł3.Gemma Robles & José M. Méndez - 2020 - Journal of Logic, Language and Information 29 (3):349-374.

Analytics

Added to PP
2017-05-10

Downloads
37 (#629,853)

6 months
6 (#723,076)

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 12 references / Add more references