Causality in Linear Logic - Full Completeness and Injectivity (Unit-Free Multiplicative-Additive Fragment).

Simon Castellan Nobuko Yoshida

Published in: FoSSaCS (2019)

Keyphrases

linear logic
fixed point
cut elimination
sequent calculus
logic programming
proof theoretic
desirable properties
logical framework
proof search
inference rules
knowledge base
graphical models
graph cuts
intuitionistic logic