Classical and Intuitionistic Subexponential Logics Are Equally Expressive
From MaRDI portal
Publication:3586042
DOI10.1007/978-3-642-15205-4_17zbMath1287.03057arXiv1006.3134OpenAlexW1537907223MaRDI QIDQ3586042
Publication date: 3 September 2010
Published in: Computer Science Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1006.3134
Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (9)
On subexponentials, focusing and modalities in concurrent systems ⋮ A Survey of the Proof-Theoretic Foundations of Logic Programming ⋮ Explorations in Subexponential Non-associative Non-commutative Linear Logic ⋮ A semantic framework for proof evidence ⋮ Unnamed Item ⋮ Expressing additives using multiplicatives and subexponentials ⋮ Hybrid and subexponential linear logics ⋮ Hybrid linear logic, revisited ⋮ Subexponentials in non-commutative linear logic
This page was built for publication: Classical and Intuitionistic Subexponential Logics Are Equally Expressive
