A Game Semantics for Proof Search: Preliminary Results.

Dale Miller Alexis Saurin

Published in: MFPS (2005)

Keyphrases

proof search
theorem prover
theorem proving
linear logic
formal semantics
proof planning
inference rules
logic programming
search procedure
sequent calculus
first order logic
search algorithm
automated reasoning
logical framework