Variant quantifiers in L-3-valued first-order logic

doi:10.1007/s11704-020-7399-7

	Variant quantifiers in L-3-valued first-order logic
	Li, Wei 1; Sui, Yuefei 2,3
	2021-10-01
发表期刊	FRONTIERS OF COMPUTER SCIENCE
ISSN	2095-2228
卷号	15 期号:5 页码:9
摘要	Traditional first-order logic has four definitions for quantifiers, which are defined by universal and existential quantifiers. In L-3-valued (three-valued) first-order logic, there are eight kinds of definitions for quantifiers; and corresponding Gentzen deduction systems will be given and their soundness and completeness theorems will be proved.
关键词	L(3)-valued (three-valued) first-order logic sequent quantifier soundness theorem completeness theorem
DOI	10.1007/s11704-020-7399-7
收录类别	SCI
语种	英语
资助项目	Open Fund of the State Key Laboratory of Software Development Environment[SKLSDE-2010KF-06] ; Beijing University of Aeronautics and Astronautics ; National Basic Research Program of China (973 Program)[2005CB321901]
WOS研究方向	Computer Science
WOS类目	Computer Science, Information Systems ; Computer Science, Software Engineering ; Computer Science, Theory & Methods
WOS记录号	WOS:000731834600002
出版者	HIGHER EDUCATION PRESS
引用统计
文献类型	期刊论文
条目标识符	http://119.78.100.204/handle/2XEOYT63/17968
专题	中国科学院计算技术研究所期刊论文_英文
通讯作者	Sui, Yuefei
作者单位	1.Beihang Univ, State Key Lab Software Dev Environm, Beijing 100083, Peoples R China 2.Chinese Acad Sci, Inst Comp Technol, Key Lab Intelligent Informat Proc, Beijing 100190, Peoples R China 3.Univ Chinese Acad Sci, Sch Comp Sci & Technol, Beijing 100049, Peoples R China
推荐引用方式 GB/T 7714	Li, Wei,Sui, Yuefei. Variant quantifiers in L-3-valued first-order logic[J]. FRONTIERS OF COMPUTER SCIENCE,2021,15(5):9.
APA	Li, Wei,&Sui, Yuefei.(2021).Variant quantifiers in L-3-valued first-order logic.FRONTIERS OF COMPUTER SCIENCE,15(5),9.
MLA	Li, Wei,et al."Variant quantifiers in L-3-valued first-order logic".FRONTIERS OF COMPUTER SCIENCE 15.5(2021):9.