Institute of Computing Technology, Chinese Academy IR
Variant quantifiers in L-3-valued first-order logic | |
Li, Wei1; Sui, Yuefei2,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. |
关键词 | |
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. |
条目包含的文件 | 条目无相关文件。 |
个性服务 |
推荐该条目 |
保存到收藏夹 |
查看访问统计 |
导出为Endnote文件 |
谷歌学术 |
谷歌学术中相似的文章 |
[Li, Wei]的文章 |
[Sui, Yuefei]的文章 |
百度学术 |
百度学术中相似的文章 |
[Li, Wei]的文章 |
[Sui, Yuefei]的文章 |
必应学术 |
必应学术中相似的文章 |
[Li, Wei]的文章 |
[Sui, Yuefei]的文章 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论