关于PI证明的若干注记

摘要：

PI证明是归结证明的一种重要类型,但是在目前所见到的文献中,对PI推理的定义还有一些不妥之处,没有确保PI推理中的每一步归结都是PI归结.文中给出了新的PI推理的定义,弥补了这一缺陷,并对PI归结的完备性定理证明所需的引理给出了两种简化证明.

关键词：PI归结、PI证明、纯文字

所属期刊栏目：31

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

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

页数：共3页

页码：20-22