Deep Proof Search in MELL.

Ozan Kahramanogullari

Published in: LPAR (2017)

Keyphrases

proof search
theorem prover
linear logic
theorem proving
inference rules
proof planning
search procedure
first order logic
proof procedure
fixed point
artificial intelligence
evolutionary algorithm
np hard
logical framework
cut elimination