欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
位置：立项数据库 > 立项详情页
中文摘要：
非经典逻辑的自动推理近来受到国学不术界的广泛重视。本项申请主要研究模态逻辑、直觉逻辑和多值逻辑等非经典逻辑的表推演方法，提出简化表推学业 的技术和策略；建立含等词的表推演理论和方法，同时将此方面的研究成果应用到逻辑公式的模型生成中，调离同高效的自动推理器和模型生成器，为非经典逻辑在计算机科学中进一步应用，提供理论基础。
结论摘要：
英文主题词Automated Reasoning;Non-Classical Logics;Tableau;Extension Rule;Quantum Algorithms
成果综合统计
期刊论文
会议论文
专利
获奖
著作
期刊论文
相关项目
孙吉贵的项目
