Complete Problems in the First-Order Predicate Calculus

Abstract

Some problems concerning the satistiability of first-order predicate calculus formulae in Schonfinkel-Bernays form provide a natural hierarchy of complete problems for various complexity classes. Also, problems concerning the existence of resolution proofs from sets of clauses not necessarily in Schontinkel-Bernays form provide another such hierarchy. In… (More)
DOI: 10.1016/0022-0000(84)90010-2

Topics

1 Figure or Table

Slides referencing similar topics