Categorical Proof Theory of Co-Intuitionistic Linear Logic

DOI10.2168/LMCS-10(3:16)2014zbMath1341.03092arXiv1407.3416OpenAlexW2043413618MaRDI QIDQ2921113

Gianluigi Bellin

Publication date: 30 September 2014

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

categorical proof theorycategorical semantics of intuitionistic linear logicintuitionistic dualitysemantics of coroutines and concurrent computations

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Categorical logic, topoi (03G30) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (4)

Wansing's bi-intuitionistic logic: semantics, extension and unilateralisation ⋮ Pragmatic and dialogic interpretations of bi-intuitionism. Part I ⋮ Reasoning about distributed information with infinitely many agents ⋮ Structuring co-constructive logic for proofs and refutations

This page was built for publication: Categorical Proof Theory of Co-Intuitionistic Linear Logic