广义归结

本文对1965年J.A.Robinson提出的归结方法(Resolution principle)做了推广,提出了广义归结方法。由于广义归结方法允许对所要证明的定理做比较自然的描述,因此,使用广义归结方法去证明定理会简单,自然。本文证明了广义归结方法的完备性和一种广义锁归结方法、广义线性归结方法、广义语义归结方法的完备性。