已选(0)清除
条数/页: 排序方式: |
| L3-值命题逻辑的R-演算 期刊论文 计算机科学, 2020, 卷号: 47.0, 期号: 004, 页码: 164 作者: 曹存根; 胡岚曦; 眭跃飞 收藏  |  浏览/下载:6/0  |  提交时间:2023/12/04 信念修正 R-演算 余矢列式 Gentzen推理系统 非单调性 |
| The B4-valued propositional logic with unary logical connectives ~1 /~2/┐ 期刊论文 中国计算机科学前沿:英文版, 2017, 卷号: 11.0, 期号: 005, 页码: 887 作者: Li Wei; Sui Yuefei 收藏  |  浏览/下载:5/0  |  提交时间:2023/12/04 命题逻辑 连接 演绎系统 布尔代数 三元 |
| 基于布尔语义的Gentzen推导模型 期刊论文 计算机科学与探索, 2015, 卷号: 9.0, 期号: 002, 页码: 221 作者: 陈博; 眭跃飞 收藏  |  浏览/下载:5/0  |  提交时间:2023/12/04 布尔代数 命题逻辑 不等式 完备性 |
| 无权访问的条目 期刊论文 作者: 沈海华 Adobe PDF(308Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2012/05/22 |
| 无权访问的条目 期刊论文 作者: 万长林 Adobe PDF(2382Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2010/06/25 |
| 无权访问的条目 期刊论文 作者: 王达伟; 胡农达 Adobe PDF(412Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2009/12/17 |
| 无权访问的条目 期刊论文 作者: 江峰; 眭跃飞; 曹存根 Adobe PDF(423Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2010/01/13 |
| 无权访问的条目 期刊论文 作者: 潘 瑜; 曹存根; 眭跃飞 Adobe PDF(410Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2010/10/13 |
| 纤维逻辑 期刊论文 计算机科学, 2006, 卷号: 33.0, 期号: 1.0, 页码: 1 作者: 邱莉榕; 杨柳; 史忠植 收藏  |  浏览/下载:5/0  |  提交时间:2023/12/04 形式逻辑 BDI逻辑 多模态逻辑 纤维逻辑 模态逻辑 纤维 可能世界语义 命题逻辑 人工智能 复杂性 |