The Relational Model Is Injective for Multiplicative Exponential Linear Logic

DOI10.4230/LIPICS.CSL.2016.41zbMath1370.03079arXiv1502.02404OpenAlexW2964120150MaRDI QIDQ5278430

Daniel de Carvalho

Publication date: 19 July 2017

Full work available at URL: https://arxiv.org/abs/1502.02404

zbMATH Keywords

linear logicdenotational semanticsproof-nets

Mathematics Subject Classification ID

Logic in computer science (03B70) Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (8)

A semantic account of strong normalization in linear logic ⋮ Tight typings and split bounds, fully developed ⋮ Unnamed Item ⋮ Unnamed Item ⋮ The bang calculus revisited ⋮ Unnamed Item ⋮ The bang calculus revisited ⋮ Unnamed Item

This page was built for publication: The Relational Model Is Injective for Multiplicative Exponential Linear Logic