Around classical and intuitionistic linear logics

DOI10.1145/3209108.3209132MaRDI QIDQ5145339zbMATH OpenOpenAlexWikidataFDO

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

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)

Recommendations

• Natural deduction for intuitionistic linear logic
• Intuitionistic phase semantics is almost classical
• Functional interpretations of intuitionistic linear logic
• Functional Interpretations of Intuitionistic Linear Logic
• The finite model property for various fragments of intuitionistic linear logic

Cited in

(16)

• Statistics of intuitionistic versus classical logics
• Intuitionistic phase semantics is almost classical
• Linearizing intuitionistic implication
• Classical multiplicative linear logic intuitionistic MLL
• scientific article; zbMATH DE number 7166981 (Why is no real title available?)
• Semantical observations on the embedding of Intuitionistic Logic into Intuitionistic Linear Logic
• On linear Brouwerian logics
• Circular proofs as session-typed processes: a local validity condition
• Towards CERes in intuitionistic logic
• Formal Methods in Software and Systems Modeling
• Explorations in Subexponential Non-associative Non-commutative Linear Logic
• Around classical and intuitionistic linear processes
• Comparing session type systems derived from linear logic
• scientific article; zbMATH DE number 1341468 (Why is no real title available?)
• Classical and intuitionistic subexponential logics are equally expressive
• The ILLTP library for intuitionistic linear logic

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)