Proof Sytrategies in Linear Logic.

Published in: J. Autom. Reason. (1994)

Keyphrases

linear logic
proof search
sequent calculus
cut elimination
proof theoretic
fixed point
desirable properties
logical framework
logic programming
knowledge representation
higher order
inference rules