Proof Search for Unprovable Formulas.

Wolfgang Schönfeld

Published in: GWAI (1983)

Keyphrases

proof search
theorem prover
theorem proving
linear logic
inference rules
proof planning
search procedure
predicate calculus
sequent calculus
proof procedure
horn clauses
neural network
natural deduction
first order logic
probabilistic model
cut elimination
search space