The B4-valued propositional logic with unary logical connectives ～1 /～2/┐
文献类型：期刊论文
| 作者 | Li Wei1; Sui Yuefei2 |
| 刊名 | 中国计算机科学前沿：英文版
 |
| 出版日期 | 2017 |
| 卷号 | 11.0期号:005页码:887 |
| 关键词 | 命题逻辑 连接 演绎系统 布尔代数 三元 |
| ISSN号 | 2095-2228 |
| 英文摘要 | A B4-valued propositional logic will be proposed in this paper which there are three unary logical connectives ～1, ～2, ┐ and two binary logical connectives A, v, and a Gentzen-typed deduction system will be given so that the system is sound and complete with B4-valued semantics, where B4 is a Boolean algebra. |
| 语种 | 英语 |
| 源URL | [http://119.78.100.204/handle/2XEOYT63/33222]  |
| 专题 | 中国科学院计算技术研究所期刊论文_中文 |
| 作者单位 | 1.Beijing University of Aeronautics and Astronautics 2.中国科学院计算技术研究所 |
| 推荐引用方式 GB/T 7714 | Li Wei,Sui Yuefei. The B4-valued propositional logic with unary logical connectives ～1 /～2/┐[J]. 中国计算机科学前沿：英文版,2017,11.0(005):887. |
| APA | Li Wei,&Sui Yuefei.(2017).The B4-valued propositional logic with unary logical connectives ～1 /～2/┐.中国计算机科学前沿：英文版,11.0(005),887. |
| MLA | Li Wei,et al."The B4-valued propositional logic with unary logical connectives ～1 /～2/┐".中国计算机科学前沿：英文版 11.0.005(2017):887. |
入库方式： OAI收割
来源：计算技术研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。