Planar and braided proof-nets for multiplicative linear logic with mix.

Gianluigi Bellin Arnaud Fleury

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

Keyphrases

linear logic
proof search
proof theoretic
logic programming
fixed point
sequent calculus
desirable properties
cut elimination
logical framework
intuitionistic logic
inference rules
machine learning
image segmentation
higher order