Around Classical and Intuitionistic Linear Logics

DOI10.1145/3209108.3209132zbMATH Open1453.03068OpenAlexW2799245014WikidataQ130854265 ScholiaQ130854265MaRDI QIDQ5145339FDOQ5145339

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 logicconservativityfocusingnegative translationsintuitionistic linear logictensor logicdouble negation

Mathematics Subject Classification ID

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

Cited In (13)

• Title not available (Why is that?)
• Classical multiplicative linear logic \(\simeq\) intuitionistic MLL
• Linearizing intuitionistic implication
• Title not available (Why is that?)
• Semantical observations on the embedding of Intuitionistic Logic into Intuitionistic Linear Logic
• On linear Brouwerian logics
• Towards CERes in intuitionistic logic
• Title not available (Why is that?)
• Formal Methods in Software and Systems Modeling
• Explorations in Subexponential Non-associative Non-commutative Linear Logic
• Comparing session type systems derived from linear logic
• Title not available (Why is that?)
• Statistics of intuitionistic versus classical logics

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5145339)