On Proof Nets for Multiplicative Linear Logic with Units.

Lutz Straßburger François Lamarche

Published in: CSL (2004)

Keyphrases

linear logic
proof search
sequent calculus
cut elimination
fixed point
proof theoretic
intuitionistic logic
desirable properties
logical framework
logic programming
inference rules
machine learning
bayesian networks
temporal logic