A Local System for Linear Logic.

Lutz Straßburger

Published in: LPAR (2002)

Keyphrases

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