The B4-valued propositional logic with unary logical connectives ~1 / ~2 /¬

被引：0
|
作者：
Wei Li
Yuefei Sui
机构：
[1] Beijing University of Aeronautics and Astronautics,State Key Laboratory of Software Development Environment
[2] Chinese Academy of Sciences,Key Laboratory of Intelligent Information Processing, Institute of Computing Technology
来源：
Frontiers of Computer Science | 2017年 / 11卷
关键词：
the Belnap logic; modality; the soundness; the completeness;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
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.
引用
收藏
页码：887 / 894
页数：7
相关论文
共 50 条
12345