Linear logic.

Published in: Commun. ACM (2010)

Keyphrases

linear logic
fixed point
sequent calculus
logic programming
proof theoretic
intuitionistic logic
desirable properties
cut elimination
proof search
logical framework
inference rules
machine learning
post processing