Belnap's four-valued logic and De Morgan lattices

Logic Journal of the IGPL 5 (1):1--29 (1997)
This paper contains some contributions to the study of Belnap's four-valued logic from an algebraic point of view. We introduce a finite Hilbert-style axiomatization of this logic, along with its well-known semantical presentation, and a Gentzen calculus that slightly differs from the usual one in that it is closer to Anderson and Belnap's formalization of their “logic of first-degree entailments”. We prove several Completeness Theorems and reduce every formula to an equivalent normal form. The Hilbert-style presentation allows us to characterize the Leibniz congruence of the matrix models of the logic, and to find that the class of algebraic reducts of its reduced matrices is strictly smaller than the variety of De Morgan lattices. This means that the links between the logic and this class of algebras cannot be fully explained in terms of matrices, as in more classical logics. It is through the use of abstract logics as models that we are able to confirm that De Morgan lattices are indeed the algebraic counterpart of Belnap's logic, in the sense of Font and Jansana's recent theory of full models for sentential logics. Among other characterizations, we prove that its full models are those abstract logics that are finitary, do not have theorems, and satisfy the metalogical properties of Conjunction, Disjunction, Double Negation, and Weak Contraposition. As a consequence, we find that the Gentzen calculus presented at the beginning is strongly adequate for Belnap's logic and is algebraizable in the sense of Rebagliato and Verdú, having the variety of De Morgan lattices as its equivalent algebraic semantics
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1093/jigpal/5.3.1-e
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history
Request removal from index
Download options
Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 29,440
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
Nothing but the Truth.Andreas Pietz & Umberto Rivieccio - 2013 - Journal of Philosophical Logic 42 (1):125-135.
Taking Degrees of Truth Seriously.Josep Maria Font - 2009 - Studia Logica 91 (3):383-406.
Bilattices with Implications.Félix Bou & Umberto Rivieccio - 2013 - Studia Logica 101 (4):651-675.

View all 8 citations / Add more citations

Similar books and articles
Nothing but the Truth.Andreas Pietz & Umberto Rivieccio - 2013 - Journal of Philosophical Logic 42 (1):125-135.
A Useful Four-Valued Logic.N. D. Belnap - 1977 - In J. M. Dunn & G. Epstein (eds.), Modern Uses of Multiple-Valued Logic. D. Reidel.
Contradictory Information: Too Much of a Good Thing. [REVIEW]J. Michael Dunn - 2010 - Journal of Philosophical Logic 39 (4):425 - 452.
An Infinity of Super-Belnap Logics.Umberto Rivieccio - 2012 - Journal of Applied Non-Classical Logics 22 (4):319 - 335.
On the Representation of N4-Lattices.Sergei P. Odintsov - 2004 - Studia Logica 76 (3):385 - 405.
How to Avoid Deviance (in Logic).Walter Sinnott-Armstrong & Amit Malhotra - 2002 - History and Philosophy of Logic 23 (3):215--36.
Added to PP index

Total downloads
4 ( #651,761 of 2,180,170 )

Recent downloads (6 months)
1 ( #303,871 of 2,180,170 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature

There  are no threads in this forum
Nothing in this forum yet.

Other forums