Glueability of resource proof-structures: inverting the Taylor expansion (long version)
Abstract
A Multiplicative-Exponential Linear Logic (MELL) proof-structure can be expanded into a set of resource proof-structures: its Taylor expansion. We introduce a new criterion characterizing those sets of resource proof-structures that are part of the Taylor expansion of some MELL proof-structure, through a rewriting system acting both on resource and MELL proof-structures.
- Publication:
-
arXiv e-prints
- Pub Date:
- October 2019
- DOI:
- 10.48550/arXiv.1910.07936
- arXiv:
- arXiv:1910.07936
- Bibcode:
- 2019arXiv191007936G
- Keywords:
-
- Computer Science - Logic in Computer Science;
- Mathematics - Logic;
- F.4.1