%A Wei LI, Yuefei SUI %T The B4-valued propositional logic with unary logical connectives ∼1 / ∼2 /¬ %0 Journal Article %D 2017 %J Front. Comput. Sci. %J Frontiers of Computer Science %@ 2095-2228 %R 10.1007/s11704-016-5299-7 %P 887-894 %V 11 %N 5 %U {https://journal.hep.com.cn/fcs/EN/10.1007/s11704-016-5299-7 %8 2017-09-26 %X

A B4-valued propositional logic will be proposed in this paper which there are three unary logical connectives ∼1, ∼2, ¬ and two binary logical connectives ∧, ∨, and a Gentzen-typed deduction system will be given so that the system is sound and complete with B4-valued semantics, where B4 is a Boolean algebra.