The B 4 -valued propositional Belnap-Dunn logic 1

Abstract

A B₄-valued propositional Belnap-Dunn logic will be proposed in this paper which there are two unary connectives [⊤] , [⊥] to represent the two middle values ⊤, ⊥ , respectively, and a Gentzen-typed deduction system will be given so that the system is sound and complete with the four-valued semantics of the propositional Belnap-Dunn logic.

Keywords

The Belnap-Dunn logic unary connective the soundness the completeness

Get full access to this article

View all access options for this article.

References

10.

11.

12.

13.

14.

15.