Proof Diagrams for Multiplicative Linear Logic: Syntax and Semantics.

Matteo Acclavio

Published in: CoRR (2017)

Keyphrases

linear logic
proof search
fixed point
sequent calculus
cut elimination
proof theoretic
logical framework
logic programming
desirable properties
intuitionistic logic
inference rules
knowledge base
knowledge representation
artificial intelligence
probability distribution
deductive databases