NC线性对称调解

本文提出了NC调解方法,证明了NC对称调解与NC归结的结合及广义对称调解与广义归结的结合的线性演绎都是完备的。     

Generalized resolution and NC-resolution

The relation between generalized resolution and NC-resolution is discussed.The proof of the completeness of NC linear resolution is then given.The incompleteness of NC lock resolution is also presented,thus the conclusion in [3] of “a simple completeness-preserving restriction” is shown to be wrong.