Studia Logica 103 (3):545-558 (2015)
Authors |
|
Abstract |
In their recent paper Bi-facial truth: a case for generalized truth values Zaitsev and Shramko [7] distinguish between an ontological and an epistemic interpretation of classical truth values. By taking the Cartesian product of the two disjoint sets of values thus obtained, they arrive at four generalized truth values and consider two “semi-classical negations” on them. The resulting semantics is used to define three novel logics which are closely related to Belnap’s well-known four valued logic. A syntactic characterization of these logics is left for further work. In this paper, based on our previous work on a functionally complete extension of Belnap’s logic, we present a sound and complete tableau calculus for these logics. It crucially exploits the Cartesian nature of the four values, which is reflected in the fact that each proof consists of two tableaux. The bi-facial notion of truth of Z&S is thus augmented with a bi-facial notion of proof. We also provide translations between the logics for semi-classical negation and classical logic and show that an argument is valid in a logic for semi-classical negation just in case its translation is valid in classical logic
|
Keywords | Four-valued logic Bifacial logic Analytic tableaux |
Categories | (categorize this paper) |
ISBN(s) | |
DOI | 10.1007/s11225-014-9578-8 |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
First-Order Logic.Raymond Merrill Smullyan - 1968 - Berlin, Germany: New York [Etc.]Springer-Verlag.
Entailment: The Logic of Relevance and Neccessity, Vol. I.Alan Ross Anderson & Nuel D. Belnap - 1975 - Princeton University Press.
A Useful Four-Valued Logic.N. D. Belnap - 1977 - In J. M. Dunn & G. Epstein (eds.), Modern Uses of Multiple-Valued Logic. D. Reidel.
View all 8 references / Add more references
Citations of this work BETA
Rational Agency From a Truth-Functional Perspective.Ekaterina Kubyshkina & Dmitry V. Zaitsev - 2016 - Logic and Logical Philosophy 25 (4):499-520.
Analytic Tableaux for All of SIXTEEN 3.Stefan Wintein & Reinhard Muskens - 2015 - Journal of Philosophical Logic 44 (5):473-487.
Similar books and articles
Bi-Facial Truth: A Case for Generalized Truth Values.Dmitry Zaitsev & Yaroslav Shramko - 2013 - Studia Logica 101 (6):1299-1318.
Hyper-Contradictions, Generalized Truth Values and Logics of Truth and Falsehood.Yaroslav Shramko & Heinrich Wansing - 2006 - Journal of Logic, Language and Information 15 (4):403-424.
Entailment and Bivalence.Fred Seymour Michael - 2002 - Journal of Philosophical Logic 31 (4):289-300.
Two's Company: The Humbug of Many Logical Values.Carlos Caleiro, Walter Carnielli, Marcelo Coniglio & João Marcos - 2005 - In J. Y. Beziau (ed.), Logica Universalis. Birkhäuser Verlag. pp. 169-189.
Note on a Six-Valued Extension of Three-Valued Logic.Josep M. Font & Massoud Moussavi - 1993 - Journal of Applied Non-Classical Logics 3 (2):173-187.
Labeled Calculi and Finite-Valued Logics.Matthias Baaz, Christian G. Fermüller, Gernot Salzer & Richard Zach - 1998 - Studia Logica 61 (1):7-33.
A Few More Useful 8-Valued Logics for Reasoning with Tetralattice Eight.Dmitry Zaitsev - 2009 - Studia Logica 92 (2):265 - 280.
Process Algebra with Four-Valued Logic.Jan A. Bergstra & Alban Ponse - 2000 - Journal of Applied Non-Classical Logics 10 (1):27-53.
Three-Valued Logics in Modal Logic.Barteld Kooi & Allard Tamminga - 2013 - Studia Logica 101 (5):1061-1072.
Analytics
Added to PP index
2014-09-21
Total views
82 ( #141,421 of 2,504,875 )
Recent downloads (6 months)
3 ( #209,949 of 2,504,875 )
2014-09-21
Total views
82 ( #141,421 of 2,504,875 )
Recent downloads (6 months)
3 ( #209,949 of 2,504,875 )
How can I increase my downloads?
Downloads