The B4-valued propositional logic with unary logical connectives ～1 /～2/┐

	The B4-valued propositional logic with unary logical connectives ～1 /～2/┐
	Li Wei 1; Sui Yuefei 2
	2017
发表期刊	中国计算机科学前沿：英文版
ISSN	2095-2228
卷号	11.0 期号:005 页码:887
摘要	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.
关键词	命题逻辑连接演绎系统布尔代数三元
语种	英语
文献类型	期刊论文
条目标识符	http://119.78.100.204/handle/2XEOYT63/33223
专题	中国科学院计算技术研究所期刊论文_中文
作者单位	1.Beijing University of Aeronautics and Astronautics 2.中国科学院计算技术研究所
推荐引用方式 GB/T 7714	Li Wei,Sui Yuefei. The B4-valued propositional logic with unary logical connectives ～1 /～2/┐[J]. 中国计算机科学前沿：英文版,2017,11.0(005):887.
APA	Li Wei,&Sui Yuefei.(2017).The B4-valued propositional logic with unary logical connectives ～1 /～2/┐.中国计算机科学前沿：英文版,11.0(005),887.
MLA	Li Wei,et al."The B4-valued propositional logic with unary logical connectives ～1 /～2/┐".中国计算机科学前沿：英文版 11.0.005(2017):887.