- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Natural Deduction for Fitting’s Four-Valued Generalizations of Kleene’s Logics
Logica Universalis 11 (4):525-532 (2017)
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.Author Profiles
My notes
Similar books and articles
Correspondence analysis for strong three-valued logic.Allard Tamminga - 2014 - Logical Investigations 20:255-268.
Proof Systems for Reasoning about Computation Errors.Arnon Avron & Beata Konikowska - 2009 - Studia Logica 91 (2):273-293.
A Mechanization of Strong Kleene Logic for Partial Functions.Manfred Kerber Michael Kohlhase - unknown
On All Strong Kleene Generalizations of Classical Logic.Stefan Wintein - 2016 - Studia Logica 104 (3):503-545.
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.
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.
Many-valued reflexive autoepistemic logic.C. Koutras & S. Zachos - 2000 - Logic Journal of the IGPL 8 (1):33-54.
Natural Deduction Calculi and Sequent Calculi for Counterfactual Logics.Francesca Poggiolesi - 2016 - Studia Logica 104 (5):1003-1036.
Analytics
Added to PP
2017-05-10
Downloads
26 (#615,896)
6 months
8 (#373,162)
2017-05-10
Downloads
26 (#615,896)
6 months
8 (#373,162)
Historical graph of downloads
Author Profiles
Citations of this work
An Epistemic Interpretation of Paraconsistent Weak Kleene Logic.Damian E. Szmuc - forthcoming - Logic and Logical Philosophy:1.
Exactly true and non-falsity logics meeting infectious ones.Alex Belikov & Yaroslav Petrukhin - 2020 - Journal of Applied Non-Classical Logics 30 (2):93-122.
Generalized Correspondence Analysis for Three-Valued Logics.Yaroslav Petrukhin - 2018 - Logica Universalis 12 (3-4):423-460.
On bivalent semantics and natural deduction for some infectious logics.Alex Belikov - 2022 - Logic Journal of the IGPL 30 (1):186-210.
References found in this work
Intuitive semantics for first-degree entailments and 'coupled trees'.J. Michael Dunn - 1976 - Philosophical Studies 29 (3):149-168.
On Paraconsistent Weak Kleene Logic: Axiomatisation and Algebraic Analysis.Stefano Bonzio, José Gil-Férez, Francesco Paoli & Luisa Peruzzi - 2017 - Studia Logica 105 (2):253-297.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-7c88c7cdf7-xpqc6 uwo