Natural Deduction for Intuitionistic Linear Logic.

A. S. Troelstra

Published in: Ann. Pure Appl. Log. (1995)

Keyphrases

linear logic
natural deduction
cut elimination
intuitionistic logic
sequent calculus
fixed point
logic programming
inference rules
proof theoretic
logical framework
proof search
desirable properties
sufficient conditions
theorem prover