A Deep Inference System for Differential Linear Logic.

Matteo Acclavio Giulio Guerrieri

Published in: CoRR (2021)

Keyphrases

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