Taylor expansion in linear logic is invertible.

Daniel de Carvalho

Published in: Log. Methods Comput. Sci. (2018)

Keyphrases

linear logic
fixed point
proof theoretic
logical framework
sequent calculus
proof search
cut elimination
intuitionistic logic
logic programming
inference rules
desirable properties
natural deduction
machine learning
sufficient conditions