Surface Proofs for Nonsymmetric Linear Logic (Extended Abstract)

Abstract

We show that a proof in multiplicative linear logic can be represented as a decorated surface, such that two proofs are logically equivalent just when their surfaces are geometrically equivalent. This is an extended abstract for arXiv:1601.05372.

In Proceedings LINEARITY 2016, arXiv:1701.04522

References in corpus (3)

• Quasistrict symmetric monoidal 2-categories via wire diagrams
• Simple multiplicative proof nets with units
• Frobenius algebras and planar open string topological field theories

Cited by in corpus (1)

• The algebra of entanglement and the geometry of composition