Reductions in Intuitionistic Linear Logic.

Sergei Soloviev

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

Keyphrases

linear logic
cut elimination
fixed point
logic programming
sequent calculus
logical framework
desirable properties
proof theoretic
intuitionistic logic
proof search
image segmentation
graph cuts