Proof Nets for Unit-free Multiplicative-Additive Linear Logic (Extended abstract).

Dominic J. D. Hughes Rob J. van Glabbeek

Published in: LICS (2003)

Keyphrases

extended abstract
linear logic
proof search
fixed point
cut elimination
proof theoretic
desirable properties
intuitionistic logic
logical framework
sequent calculus
logic programming
inference rules
natural deduction
spatial information
graphical representation