类演算

作品数：13被引量：7H指数：2
导出分析报告
相关领域：哲学宗教更多>>
相关作者：张振华徐传宇许占君刘叙华魏凤琴更多>>
相关机构：辽宁大学内蒙古大学南京大学杜克大学更多>>
相关期刊：《华东师范大学学报（哲学社会科学版）》《人文杂志》《哲学动态》《玉溪师范学院学报》更多>>
相关基金：国家攀登计划国家自然科学基金国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 基金=国家攀登计划x
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
模态逻辑K、K_4系统Matrix证明方法中的可采纳替换
《模式识别与人工智能》1996年第3期234-238,共5页孙吉贵 刘叙华 
国家自然科学基金;863计划;国家攀登计划资助课题
Wallen的模态逻辑Matrix证明方法是在机器上较容易实现的一种模态逻辑自动推理方法.它将推理的难点转移到求可采纳替换中去,因而,可采纳替换的计算构成了模态逻辑Matrix证明方法的本质内容.本文讨论了模态逻辑K、K_4系统可采纳替换的存...
关键词：模态逻辑 Matrix证明方法 可采纳替换 类演算 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部