LP(X)中MP归结推理

摘要：

首先讨论格值命题逻辑系统LP(X)中子句的规则型范式以及极简规则型子句集的形式,然后定义MP归结式以及(A,α)-归结演绎、α-逻辑推理以及α-不可满足,讨论了它们的一系列逻辑性质,最后证明了MP归结推理的可靠性以及弱完备性.

关键词：格值命题逻辑系统LP(X)、MP归结、(A、α)-归结演绎、α-不可满足

所属期刊栏目：27

分类号：O141(数理逻辑、数学基础)

资助基金：国家自然科学基金资助项目61175055;国家青年科学基金资助项目61100046

在线出版日期：2013-09-22（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：30-35