The Inverse Taylor Expansion Problem in Linear Logic.

Michele Pagani Christine Tasson

Published in: LICS (2009)

Keyphrases

linear logic
fixed point
intuitionistic logic
logic programming
logical framework
proof theoretic
sequent calculus
cut elimination
proof search
desirable properties
inference rules
machine learning
higher order
general purpose
natural deduction
state space
database systems
knowledge base