中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页 机构 成果 学者
  
  1. CAS IR Grid
  2. 计算技术研究所
  3. 中国科学院计算技术研究所
  4. 中国科学院计算技术研究所期刊论文
  5. 英文
Variant quantifiers in L-3-valued first-order logic

文献类型：期刊论文

作者Li, Wei3; Sui, Yuefei1,2
刊名FRONTIERS OF COMPUTER SCIENCE
出版日期2021-10-01
卷号15期号:5页码:9
关键词L(3)-valued (three-valued) first-order logic sequent quantifier soundness theorem completeness theorem
ISSN号2095-2228
DOI10.1007/s11704-020-7399-7
英文摘要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.
资助项目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记录号WOS:000731834600002
出版者HIGHER EDUCATION PRESS
源URL[http://119.78.100.204/handle/2XEOYT63/17967]  
专题中国科学院计算技术研究所期刊论文_英文
通讯作者Sui, Yuefei
作者单位1.Univ Chinese Acad Sci, Sch Comp Sci & Technol, Beijing 100049, Peoples R China
2.Chinese Acad Sci, Inst Comp Technol, Key Lab Intelligent Informat Proc, Beijing 100190, Peoples R China
3.Beihang Univ, State Key Lab Software Dev Environm, Beijing 100083, 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.

入库方式： OAI收割

来源：计算技术研究所

浏览0
下载0
收藏0
其他版本

除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。