Surface Proofs for Nonsymmetric Linear Logic (Extended Abstract)

Lawrence Dunn, Jamie Vicary

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 geometrica…