CSpace

浏览/检索结果: 共2条,第1-2条 帮助

已选(0)清除 条数/页:   排序方式:
无权访问的条目 学位论文
作者:  陈博
Adobe PDF(1537Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2016/01/19
The B-4-valued propositional Belnap-Dunn logic 期刊论文
JOURNAL OF INTELLIGENT & FUZZY SYSTEMS, 2015, 卷号: 28, 期号: 6, 页码: 2705-2713
作者:  Cao Cungen;  Chen Bo;  Sul Yuefei
收藏  |  浏览/下载:42/0  |  提交时间:2019/12/13
The Belnap-Dunn logic  unary connective  the soundness  the completeness