The Relational Model Is Injective for Multiplicative Exponential Linear Logic
- de Carvalho, Daniel
Publication date
January 2016
DOI Publisher
LIPIcs - Leibniz International Proceedings in Informatics. 25th EACSL Annual Conference on Computer Science Logic (CSL 2016)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
Add to ORKG