The B-4-valued propositional Belnap-Dunn logic

doi:10.3233/IFS-151548

	The B-4-valued propositional Belnap-Dunn logic
	Cao Cungen 1; Chen Bo 1,2; Sul Yuefei 1
	2015
发表期刊	JOURNAL OF INTELLIGENT & FUZZY SYSTEMS
ISSN	1064-1246
卷号	28 期号:6 页码:2705-2713
摘要	A B-4-valued propositional Belnap-Dunn logic will be proposed in this paper which there are two unary connectives [inverted perpendicular], [perpendicular to] to represent the two middle values inverted perpendicular, perpendicular to, 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.
关键词	The Belnap-Dunn logic unary connective the soundness the completeness
DOI	10.3233/IFS-151548
收录类别	SCI
语种	英语
资助项目	National Natural Science Foundation of China[91224006] ; National Natural Science Foundation of China[61035004] ; National Natural Science Foundation of China[61173063] ; National Natural Science Foundation of China[61203284]
WOS研究方向	Computer Science
WOS类目	Computer Science, Artificial Intelligence
WOS记录号	WOS:000358755600026
出版者	IOS PRESS
引用统计	被引频次：2[WOS] [WOS记录] [WOS相关记录]
文献类型	期刊论文
条目标识符	http://119.78.100.204/handle/2XEOYT63/9459
专题	中国科学院计算技术研究所期刊论文_英文
通讯作者	Chen Bo
作者单位	1.Chinese Acad Sci, Inst Comp Technol, Key Lab Intelligent Informat Proc, Beijing, Peoples R China 2.Univ Chinese Acad Sci, Beijing, Peoples R China
推荐引用方式 GB/T 7714	Cao Cungen,Chen Bo,Sul Yuefei. The B-4-valued propositional Belnap-Dunn logic[J]. JOURNAL OF INTELLIGENT & FUZZY SYSTEMS,2015,28(6):2705-2713.
APA	Cao Cungen,Chen Bo,&Sul Yuefei.(2015).The B-4-valued propositional Belnap-Dunn logic.JOURNAL OF INTELLIGENT & FUZZY SYSTEMS,28(6),2705-2713.
MLA	Cao Cungen,et al."The B-4-valued propositional Belnap-Dunn logic".JOURNAL OF INTELLIGENT & FUZZY SYSTEMS 28.6(2015):2705-2713.