Surface Proofs for Nonsymmetric Linear Logic (Extended Abstract)
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Authors
Colleges, School and Institutes
External organisations
- North Florida Community College, USA
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
Details
| Original language | English |
|---|---|
| Title of host publication | Proceedings Fourth International Workshop on Linearity |
| Editors | Iliano Cervesato , Maribel Fernández |
| Publication status | Published - 17 Jan 2017 |
| Event | Fourth International Workshop on Linearity (LINEARITY 2016) - Porto, Portugal Duration: 25 Jun 2016 → 25 Jun 2016 |
Publication series
| Name | Electronic Proceedings in Theoretical Computer Science |
|---|---|
| Volume | 238 |
| ISSN (Electronic) | 2075-2180 |
Conference
| Conference | Fourth International Workshop on Linearity (LINEARITY 2016) |
|---|---|
| Country | Portugal |
| City | Porto |
| Period | 25/06/16 → 25/06/16 |