Subnets of Proof-Nets in Multiplicative Linear Logic with MIX.

Gianluigi Bellin

Published in: Math. Struct. Comput. Sci. (1997)

Keyphrases

linear logic
proof theoretic
proof search
fixed point
sequent calculus
logic programming
cut elimination
logical framework
desirable properties
expert systems
inference rules
intuitionistic logic
image segmentation
computational complexity