On Structuring Proof Search for First Order Linear Logic.

Paola Bruscoli Alessio Guglielmi

Published in: LPAR (2003)

Keyphrases

linear logic
proof search
fixed point
sequent calculus
logic programming
cut elimination
higher order
logical framework
first order logic
proof theoretic
desirable properties
inference rules
search procedure
intuitionistic logic
natural deduction
knowledge base
logic programs
software engineering