Proof Diagrams for Multiplicative Linear Logic: Syntax and Semantics.

Matteo Acclavio

Published in: J. Autom. Reason. (2019)

Keyphrases

intuitionistic logic
linear logic
proof theoretic
proof search
cut elimination
fixed point
sequent calculus
logical framework
logic programming
desirable properties
inference rules
expert systems
artificial intelligence
deductive databases
qualitative and quantitative
computational complexity
natural language