Login / Signup
An Application of Parallel Cut Elimination in Unit-Free Multiplicative Linear Logic to the Taylor Expansion of Proof Nets.
Jules Chouquet
Lionel Vaux Auclair
Published in:
CSL (2018)
Keyphrases
</>
linear logic
cut elimination
sequent calculus
proof theoretic
proof search
logic programming
logical framework
intuitionistic logic
fixed point
natural deduction
sequent calculi
inference rules
logic programs
desirable properties
general purpose
bayesian networks
image segmentation