Modelling Multiplicative Linear Logic via Deep Inference.

Tomer Galor Andrea Schalk

Published in: CoRR (2024)

Keyphrases

linear logic
fixed point
probabilistic inference
proof theoretic
logical framework
intuitionistic logic
proof search
bayesian networks
desirable properties
sequent calculus
relational databases
belief networks
probabilistic reasoning
cut elimination
machine learning
inference rules