Focused Proof Search for Linear Logic in the Calculus of Structures.

Published in: ICLP (Technical Communications) (2010)

Keyphrases

proof search
linear logic
sequent calculus
cut elimination
fixed point
theorem prover
proof theoretic
logical framework
desirable properties
intuitionistic logic
inference rules
theorem proving
logic programming
machine learning
natural deduction
search algorithm