Proof Diagrams for Multiplicative Linear Logic: Syntax and Semantics

Matteo Acclavio

Proof nets are a syntax for linear logic proofs which gives a coarser notion of proof equivalence with respect to syntactic equality together with an intuitive geometrical represen…