Surface Proofs for Nonsymmetric Linear Logic (Extended Abstract)
classification
💻 cs.LO
keywords
abstractequivalentextendedlinearlogicproofssurfacearxiv
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.