Proof diagrams for multiplicative linear logic.

Matteo Acclavio

Published in: LINEARITY (2016)

Keyphrases

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