Proof nets for unit-free multiplicative-additive linear logic.

Dominic J. D. Hughes Rob J. van Glabbeek

Published in: ACM Trans. Comput. Log. (2005)

Keyphrases

linear logic
sequent calculus
fixed point
proof search
proof theoretic
logic programming
cut elimination
logical framework
desirable properties
intuitionistic logic
general purpose
pairwise
inference rules
natural deduction