Linear Logic.

Jean-Yves Girard

Published in: Theor. Comput. Sci. (1987)

Keyphrases

linear logic
logical framework
fixed point
logic programming
proof theoretic
proof search
cut elimination
intuitionistic logic
sequent calculus
desirable properties
knowledge base
inference rules
artificial intelligence
search space