A normalizing system of natural deduction for intuitionistic linear logic.

Published in: Arch. Math. Log. (2002)

Keyphrases

linear logic
natural deduction
cut elimination
sequent calculus
intuitionistic logic
fixed point
proof theoretic
logical framework
inference rules
desirable properties
proof search
logic programming
linear time temporal logic
bayesian networks
software engineering