The relational model is injective for Multiplicative Exponential Linear Logic
Logic in Computer Science
2016-05-12 v4
Abstract
We prove a completeness result for Multiplicative Exponential Linear Logic (MELL): we show that the relational model is injective for MELL proof-nets, i.e. the equality between MELL proof-nets in the relational model is exactly axiomatized by cut-elimination.
Keywords
Cite
@article{arxiv.1502.02404,
title = {The relational model is injective for Multiplicative Exponential Linear Logic},
author = {Daniel de Carvalho},
journal= {arXiv preprint arXiv:1502.02404},
year = {2016}
}
Comments
33 pages