Differential Linear Logic and Polarization.

Published in: TLCA (2009)

Keyphrases

linear logic
fixed point
cut elimination
logical framework
sequent calculus
proof theoretic
desirable properties
intuitionistic logic
logic programming
proof search
artificial intelligence
three dimensional
high level
reinforcement learning
inference rules