The aim of this paper is technically to study Belnap's four-valued sentential logic . First, we obtain a Gentzen-style axiomatization of this logic that contains no structural rules while all they are still admissible in the Gentzen system what is proved with using some algebraic tools. Further, the mentioned logic is proved to be the least closure operator on the set of {Λ, V, ⌝}-formulas satisfying Tarski's conditions for classical conjunction and disjunction together with De Morgan's laws for negation. It (...) is also proved that Belnap's logic is the only sentential logic satisfying the above-mentioned conditions together with Anderson-Belnap's Variable-Sharing Property. Finally, we obtain a finite Hilbert-style axiomatization of this logic. As a consequence, we obtain a finite Hilbert-style axiomatization of Priest's logic of paradox. (shrink)

In this paper, we study the relationship among classical logic, intuitionistic logic, and quantum logic . These logics are related in an interesting way and are not far apart from each other, as is widely believed. The results in this paper show how they are related with each other through a dual intuitionistic logic . Our study is completely syntactical.

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. (shrink)

This paper explores allowing truth value assignments to be undetermined or "partial" and overdetermined or "inconsistent", thus returning to an investigation of the four-valued semantics that I initiated in the sixties. I examine some natural consequence relations and show how they are related to existing logics, including ukasiewicz's three-valued logic, Kleene's three-valued logic, Anderson and Belnap's relevant entailments, Priest's "Logic of Paradox", and the first-degree fragment of the Dunn-McCall system "R-mingle". None of these systems have nested implications, and I investigate (...) twelve natural extensions containing nested implications, all of which can be viewed as coming from natural variations on Kripke's semantics for intuitionistic logic. Many of these logics exist antecedently in the literature, in particular Nelson 's "constructible falsity". (shrink)

Paraconsistent quantum logics are weak forms of quantum logic, where the noncontradiction and the excluded-middle laws are violated. These logics find interesting applications in the operational approach to quantum mechanics. In this paper, we present an axiomatization, a Kripke-style, and an algebraic semantical characterization for two forms of paraconsistent quantum logic. Further developments are contained in Giuntini and Greuling's paper in this issue.