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 A, v, and a Gentzen-typed deduction system will be given s...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 A, v, 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.展开更多
基金Acknowledgements This work was supported by the National Natural Science Foundation of China （Grant Nos. 91224006 and 61173063） and the Ministry of Science and Technology （201303107）.
文摘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 A, v, 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.
