Injectivity of relational semantics for (connected) MELL proof-nets via Taylor expansion
Résumé
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.
Origine : Fichiers produits par l'(les) auteur(s)
Loading...