A note on full intuitionistic linear logic

DOI10.1016/0168-0072(96)00004-8zbMath0862.03029OpenAlexW2065261777MaRDI QIDQ1919548

G. M. Bierman

Publication date: 23 July 1996

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(96)00004-8

zbMATH Keywords

cut eliminationpatternsfull intuitionistic linear logic

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items

Multiple Conclusion Linear Logic: Cut Elimination and More, Coherence in SMCCs and equivalences on derivations in IMML with unit, A general adequacy result for a linear functional language, Unnamed Item, Glueing and orthogonality for models of linear logic, Formalized meta-theory of sequent calculi for linear logics, On categorical equivalence of Gentzen-style derivations in IMLL, Coherence Spaces and Uniform Continuity, Formalized meta-theory of sequent calculi for substructural logics, (Dual) Hoops Have Unique Halving, Presheaf Models of Quantum Computation: An Outline, Relating categorical semantics for intuitionistic linear logic, Proof theory in the abstract, Investigations into a left-structural right-substructural sequent calculus

Cites Work

• Full intuitionistic linear logic
• Some Syntactical Observations on Linear Logic
• Proof theory