The B-4-valued propositional Belnap-Dunn logic
文献类型：期刊论文
| 作者 | Cao Cungen1; Chen Bo1,2; Sul Yuefei1 |
| 刊名 | JOURNAL OF INTELLIGENT & FUZZY SYSTEMS
 |
| 出版日期 | 2015 |
| 卷号 | 28期号:6页码:2705-2713 |
| 关键词 | The Belnap-Dunn logic unary connective the soundness the completeness |
| ISSN号 | 1064-1246 |
| DOI | 10.3233/IFS-151548 |
| 英文摘要 | A B-4-valued propositional Belnap-Dunn logic will be proposed in this paper which there are two unary connectives [inverted perpendicular], [perpendicular to] to represent the two middle values inverted perpendicular, perpendicular to, respectively, and a Gentzen-typed deduction system will be given so that the system is sound and complete with the four-valued semantics of the propositional Belnap-Dunn logic. |
| 资助项目 | National Natural Science Foundation of China[91224006] ; National Natural Science Foundation of China[61035004] ; National Natural Science Foundation of China[61173063] ; National Natural Science Foundation of China[61203284] |
| WOS研究方向 | Computer Science |
| 语种 | 英语 |
| WOS记录号 | WOS:000358755600026 |
| 出版者 | IOS PRESS |
| 源URL | [http://119.78.100.204/handle/2XEOYT63/9458]  |
| 专题 | 中国科学院计算技术研究所期刊论文_英文 |
| 通讯作者 | Chen Bo |
| 作者单位 | 1.Chinese Acad Sci, Inst Comp Technol, Key Lab Intelligent Informat Proc, Beijing, Peoples R China 2.Univ Chinese Acad Sci, Beijing, Peoples R China |
| 推荐引用方式 GB/T 7714 | Cao Cungen,Chen Bo,Sul Yuefei. The B-4-valued propositional Belnap-Dunn logic[J]. JOURNAL OF INTELLIGENT & FUZZY SYSTEMS,2015,28(6):2705-2713. |
| APA | Cao Cungen,Chen Bo,&Sul Yuefei.(2015).The B-4-valued propositional Belnap-Dunn logic.JOURNAL OF INTELLIGENT & FUZZY SYSTEMS,28(6),2705-2713. |
| MLA | Cao Cungen,et al."The B-4-valued propositional Belnap-Dunn logic".JOURNAL OF INTELLIGENT & FUZZY SYSTEMS 28.6(2015):2705-2713. |
入库方式： OAI收割
来源：计算技术研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。