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 (14)

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

This page was built for publication: A note on full intuitionistic linear logic