The B-4-valued propositional logic with unary logical connectives similar to(1) / similar to(2) /(sic)

doi:10.1007/s11704-016-5299-7

	The B-4-valued propositional logic with unary logical connectives similar to(1) / similar to(2) /(sic)
	Li, Wei 1; Sui, Yuefei 2
	2017-10-01
发表期刊	FRONTIERS OF COMPUTER SCIENCE
ISSN	2095-2228
卷号	11 期号:5 页码:887-894
摘要	A B (4)-valued propositional logic will be proposed in this paper which there are three unary logical connectives similar to(1), similar to(2), (sic) and two binary logical connectives boolean AND, boolean OR, and a Gentzen-typed deduction system will be given so that the system is sound and complete with B (4)-valued semantics, where B (4) is a Boolean algebra.
关键词	the Belnap logic modality the soundness the completeness
DOI	10.1007/s11704-016-5299-7
收录类别	SCI
语种	英语
资助项目	National Natural Science Foundation of China[91224006] ; National Natural Science Foundation of China[61173063] ; Ministry of Science and Technology[201303107]
WOS研究方向	Computer Science
WOS类目	Computer Science, Information Systems ; Computer Science, Software Engineering ; Computer Science, Theory & Methods
WOS记录号	WOS:000410732200011
出版者	HIGHER EDUCATION PRESS
引用统计	被引频次：1[WOS] [WOS记录] [WOS相关记录]
文献类型	期刊论文
条目标识符	http://119.78.100.204/handle/2XEOYT63/6743
专题	中国科学院计算技术研究所期刊论文_英文
通讯作者	Sui, Yuefei
作者单位	1.Beijing Univ Aeronaut & Astronaut, State Key Lab Software Dev Environm, Beijing 100191, Peoples R China 2.Chinese Acad Sci, Inst Comp Technol, Key Lab Intelligent Informat Proc, Beijing 100190, Peoples R China
推荐引用方式 GB/T 7714	Li, Wei,Sui, Yuefei. The B-4-valued propositional logic with unary logical connectives similar to(1) / similar to(2) /(sic)[J]. FRONTIERS OF COMPUTER SCIENCE,2017,11(5):887-894.
APA	Li, Wei,&Sui, Yuefei.(2017).The B-4-valued propositional logic with unary logical connectives similar to(1) / similar to(2) /(sic).FRONTIERS OF COMPUTER SCIENCE,11(5),887-894.
MLA	Li, Wei,et al."The B-4-valued propositional logic with unary logical connectives similar to(1) / similar to(2) /(sic)".FRONTIERS OF COMPUTER SCIENCE 11.5(2017):887-894.