Institute of Computing Technology, Chinese Academy IR
The B-4-valued propositional logic with unary logical connectives similar to(1) / similar to(2) /(sic) | |
Li, Wei1; Sui, Yuefei2 | |
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 |
引用统计 | |
文献类型 | 期刊论文 |
条目标识符 | 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. |
条目包含的文件 | 条目无相关文件。 |
个性服务 |
推荐该条目 |
保存到收藏夹 |
查看访问统计 |
导出为Endnote文件 |
谷歌学术 |
谷歌学术中相似的文章 |
[Li, Wei]的文章 |
[Sui, Yuefei]的文章 |
百度学术 |
百度学术中相似的文章 |
[Li, Wei]的文章 |
[Sui, Yuefei]的文章 |
必应学术 |
必应学术中相似的文章 |
[Li, Wei]的文章 |
[Sui, Yuefei]的文章 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论