A note on the completeness of higher order resolution

被引：0
|
作者：
Kossey, IP [1 ]
机构：
[1] UZHGOROD STATE UNIV,DEPT MATH,UA-294000 UZHGOROD,UKRAINE
来源：
PUBLICATIONES MATHEMATICAE-DEBRECEN | 1997年 / 51卷 / 1-2期
关键词：
resolution method; higher order logic; completeness;
D O I：
暂无
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
A simple example shows that the completeness theorems of the second and higher order resolution (JENSEN, D.C., PIETRZYKOWSKI, T.) are not valid. The error in the proof is shown and two corrected formulations are proposed which, however, can considerably increase the search space. The practical use of the explained problem is necessary, for example, while proving negative inductive assertions.
引用
收藏
页码：127 / 132
页数：6
相关论文
共 50 条
12345