The B 4 -valued propositional Belnap-Dunn logic
Cungen Cao, Bo Chen, Sui Yuefei · Journal of Intelligent & Fuzzy Systems · 2015
Abstract A B 4 -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.