# Surface Proofs for Nonsymmetric Linear Logic (Extended Abstract)

## TL;DR

This paper introduces a novel geometric representation of proofs in multiplicative linear logic using decorated surfaces, establishing a new equivalence criterion based on geometric similarity.

## Contribution

It presents a surface-based proof representation for multiplicative linear logic, linking logical equivalence to geometric equivalence of surfaces, a novel approach in proof theory.

## Key findings

- Proofs can be represented as decorated surfaces.
- Logical equivalence corresponds to geometric equivalence of surfaces.
- Provides a new geometric perspective on linear logic proofs.

## 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.