逻辑机械化
首先，通过对现有逻辑系统中存在的争议问题进行分析与讨论，以汉语为语义模型，构造了一个的主体语言系统，探讨了逻辑机械化问题在认识论上的基础；然后，文章对命题的可推理性进行了分析，证明了命题间的可推理性暗含着谓词上的偏序结构，这表明逻辑与数学相比，并不具有某种特殊的优先性；最后，通过对命题真的分析，将逻辑真定义为可能世界的真实性的考证，并从内涵逻辑的角度讨论了逻辑机械化的数学基础，给出了相应的求解过程及算法复杂性分析，理论及例子分析表明，逻辑机械化方法具有简明、易用的特点，为处理一阶谓词逻辑的不可判定问题提供了新的解决方案。
数学逻辑 逻辑机械化 三段论 概念格分析求解系统 概念码
刘超 王文杰
北京泰斗易达软件科技有限公司，北京 100016 中国科学院研究生院信息科学与工程学院，北京 100049
国内会议
重庆
中文
349-373
2012-04-27（万方平台首次上网日期，不代表论文的发表时间）