Around classical and intuitionistic linear logics
DOI10.1145/3209108.3209132zbMATH Open1453.03068OpenAlexW2799245014WikidataQ130854265 ScholiaQ130854265MaRDI QIDQ5145339FDOQ5145339
Authors: 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
Recommendations
linear logicconservativityfocusingnegative translationsintuitionistic linear logictensor logicdouble negation
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 (15)
- Title not available (Why is that?)
- Intuitionistic phase semantics is almost classical
- 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
- 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?)
- Classical and intuitionistic subexponential logics are equally expressive
- The ILLTP library for intuitionistic linear logic
- 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)
