On Structuring Proof Search for First Order Linear Logic

Paola Bruscoli Alessio Guglielmi

Published in: CoRR (2003)

Keyphrases

linear logic
proof search
first order logic
inference rules
higher order
fixed point
sequent calculus
cut elimination
logical framework
logic programming
desirable properties
intuitionistic logic
proof theoretic
theorem prover
theorem proving
expert systems
probabilistic model