Surface Proofs for Nonsymmetric Linear Logic (Extended Abstract)
Logic in Computer Science
2017-01-19 v1
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.
Cite
@article{arxiv.1701.04917,
title = {Surface Proofs for Nonsymmetric Linear Logic (Extended Abstract)},
author = {Lawrence Dunn and Jamie Vicary},
journal= {arXiv preprint arXiv:1701.04917},
year = {2017}
}
Comments
In Proceedings LINEARITY 2016, arXiv:1701.04522