Surface Proofs for Nonsymmetric Linear Logic (Extended Abstract)

Research output: Chapter in Book/Report/Conference proceedingConference 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 languageEnglish
Title of host publicationProceedings Fourth International Workshop on Linearity
Editors Iliano Cervesato , Maribel Fernández
Publication statusPublished - 17 Jan 2017
EventFourth International Workshop on Linearity (LINEARITY 2016) - Porto, Portugal
Duration: 25 Jun 201625 Jun 2016

Publication series

NameElectronic Proceedings in Theoretical Computer Science
Volume238
ISSN (Electronic)2075-2180

Conference

ConferenceFourth International Workshop on Linearity (LINEARITY 2016)
CountryPortugal
CityPorto
Period25/06/1625/06/16