Linear Logic Without Boxes

Georges Gonthier Martín Abadi Jean-Jacques Lévy

Published in: LICS (1992)

Keyphrases

linear logic
fixed point
logic programming
sequent calculus
intuitionistic logic
desirable properties
proof theoretic
logical framework
proof search
cut elimination
video sequences
inference rules
natural deduction
machine learning
state space
knowledge representation
bayesian networks