Around Classical and Intuitionistic Linear Logics

DOI10.1145/3209108.3209132zbMath1453.03068OpenAlexW2799245014MaRDI QIDQ5145339

Olivier Laurent

Publication date: 20 January 2021

Published in: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3209108.3209132

zbMATH Keywords

linear logicfocusingdouble negationconservativitynegative translationsintuitionistic linear logictensor logic

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (3)

Explorations in Subexponential Non-associative Non-commutative Linear Logic ⋮ Unnamed Item ⋮ Unnamed Item

This page was built for publication: Around Classical and Intuitionistic Linear Logics