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: http://dx.doi.org/10.4204/EPTCS.238.4 bibtex PDF

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org