Some Syntactical Observations on Linear Logic
From MaRDI portal
Publication:3986870
DOI10.1093/logcom/1.4.537zbMath0745.03025OpenAlexW2083147990MaRDI QIDQ3986870
Publication date: 27 June 1992
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/logcom/1.4.537
Logic in computer science (03B70) Cut-elimination and normal-form theorems (03F05) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (19)
Multiple Conclusion Linear Logic: Cut Elimination and More ⋮ Reflections on ``difficult embeddings ⋮ On the linear decoration of intuitionistic derivations ⋮ A note on full intuitionistic linear logic ⋮ Semantical observations on the embedding of Intuitionistic Logic into Intuitionistic Linear Logic ⋮ Unnamed Item ⋮ Explorations in Subexponential Non-associative Non-commutative Linear Logic ⋮ Dualized Simple Type Theory ⋮ Unnamed Item ⋮ From multiple sequent for additive linear logic to decision procedures for free lattices ⋮ The undecidability of second order linear logic without exponentials ⋮ Nonmodal classical linear predicate logic is a fragment of intuitionistic linear logic ⋮ On the unity of logic ⋮ Modal translations in substructural logics ⋮ Representing scope in intuitionistic deductions ⋮ Expanding the Realm of Systematic Proof Theory ⋮ Subexponentials in non-commutative linear logic ⋮ Connection methods in linear logic and proof nets construction ⋮ Full intuitionistic linear logic
This page was built for publication: Some Syntactical Observations on Linear Logic
