Generating theorem proving procedures from axioms of Truncated Predicate Calculus

Grzegorz Wiaderek, Iwona Skalna

We present a~novel approach to the problem of automated theorem proving. Polynomial cost procedures that recognise sentences belonging to a theory are generated on a basis of a set…