Surface Proofs for Nonsymmetric Linear Logic (Extended Abstract)

Lawrence Dunn
(North Florida Community College)
Jamie Vicary
(University of Oxford)

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 Iliano Cervesato and Maribel Fernández: Proceedings Fourth International Workshop on Linearity (LINEARITY 2016), Porto, Portugal, 25 June 2016, Electronic Proceedings in Theoretical Computer Science 238, pp. 33–43.
Published: 17th January 2017.

ArXived at: bibtex PDF

Comments and questions to:
For website issues: