A Note on Full Intuitionistic Linear Logic.

Gavin M. Bierman

Published in: Ann. Pure Appl. Log. (1996)

Keyphrases

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