Proof-Search in Implicative Linear Logic as a Matching Problem.

Philippe de Groote

Published in: LPAR (2000)

Keyphrases

linear logic
proof search
cut elimination
sequent calculus
fixed point
logic programming
logical framework
proof theoretic
intuitionistic logic
image matching
inference rules
desirable properties
theorem prover
theorem proving
artificial intelligence
high level