Herbrand基上的语义映射

Emden和Kowalski(以下简称E、K二氏)以horn集为对象,研究了谓词逻辑的操作语义、模型语义和不动点语义及它们之间的等价性.但他们只考虑不包含负子句的horn集,这种子句集是一定可以满足的,因而结论是局限的.他们也没有给出最小不动点的构造方法.本文在定义新的语义映射的基础上,解决了这些问题.