Categorical Semantics of Linear Logic: Coherent Spaces and Full Completeness for Proof Nets
Abstract
We establish a fully faithful functorial embedding of Multiplicative Linear Logic proof structures into the category of Coherent Spaces, characterizing the image of valid proof nets via the preservation of stability under dinatural transformations and the geometry of interaction.
Fields of Study & Subjects
Logic
programming
and type systems
Reasoning
and Knowledge
Advanced Algebra and Logic
Publication details
- Journal / source
- Zenodo (CERN European Organization for Nuclear Research)
- Publication date
- 4 January 2026