Injectivity of Relational Semantics for (Connected) MELL Proof-Nets via Taylor Expansion
Authors: Giulio Guerrieri, Luc Pellissier and Lorenzo Tortora De Falco
Paper Information
| Title: | Injectivity of Relational Semantics for (Connected) MELL Proof-Nets via Taylor Expansion |
| Authors: | Giulio Guerrieri, Luc Pellissier and Lorenzo Tortora De Falco |
| Proceedings: | TERMGRAPH 2014 VSL Proceedings |
| Editors: | Aart Middeldorp and Femke van Raamsdonk |
| Keywords: | Relational semantics, Taylor expansion, Empire, Proof-nets, ACC, Diffnets, MELL, Linear logic, Connectedness |
| Abstract: | ABSTRACT. We show that: (1) the Taylor expansion of a cut-free MELL proof-structure R with atomic axioms is the (most informative part of the) relational semantics of R; (2) every (connected) MELL proof-net is uniquely determined by the element of order 2 of its Taylor expansion; (3) the relational semantics is injective for (connected) MELL proof-nets. |
| Pages: | 5 |
| Talk: | Jul 13 15:30 |
| Paper: |  |