Light Linear Logic.

Jean-Yves Girard

Published in: LCC (1994)

Keyphrases

linear logic
fixed point
sequent calculus
logical framework
proof theoretic
desirable properties
logic programming
intuitionistic logic
proof search
inference rules
cut elimination
decision making
bayesian networks
higher order
markov random field
decision problems