Proof Nets for Additive Linear Logic with Units.

Willem Heijltjes

Published in: LICS (2011)

Keyphrases

linear logic
fixed point
proof search
proof theoretic
sequent calculus
cut elimination
logic programming
logical framework
desirable properties
intuitionistic logic
image segmentation
expert systems
natural deduction