An application of parallel cut elimination in multiplicative linear logic to the Taylor expansion of proof nets.

Jules Chouquet Lionel Vaux Auclair

Published in: CoRR (2019)

Keyphrases

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