A Resolution Principle for a Logic with Restricted Quantifiers

This monograph provides the formal basics of a scheme for predicate logic with restricted quantifiers taken as constraints. It gives the model theory and proof theory for this logic together with a sound and complete refutation calculus for constrained clauses.

Inhalt
Preliminaries.- Unification.- A logic with restricted quantifiers.- Equational constraint theories.- Conclusion.