Belnap's Four-Valued Logic and De Morgan Lattices

Logic Journal of the IGPL 5 (3):105-134 (1997)
  Copy   BIBTEX

Abstract

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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

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

Through your library

Similar books and articles

Belnap's four-valued logic and De Morgan lattices.Josep Maria Font - 1997 - Logic Journal of the IGPL 5 (1):1--29.
Characterizing Belnap's Logic via De Morgan's Laws.Alexej P. Pynko - 1995 - Mathematical Logic Quarterly 41 (4):442-454.
The logic of distributive bilattices.Félix Bou & Umberto Rivieccio - 2011 - Logic Journal of the IGPL 19 (1):183-216.
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.
An infinity of super-Belnap logics.Umberto Rivieccio - 2012 - Journal of Applied Non-Classical Logics 22 (4):319-335.
Nothing but the Truth.Andreas Pietz & Umberto Rivieccio - 2013 - Journal of Philosophical Logic 42 (1):125-135.
Algebraic Study of Two Deductive Systems of Relevance Logic.Josep Maria Font & Gonzalo Rodríguez - 1994 - Notre Dame Journal of Formal Logic 35 (3):369-397.

Analytics

Added to PP
2017-02-20

Downloads
23 (#584,438)

6 months
4 (#319,344)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

References found in this work

No references found.

Add more references