A note on full intuitionistic linear logic

DOI10.1016/0168-0072(96)00004-8MaRDI QIDQ1919548zbMATH OpenOpenAlexFDO

Authors Gavin 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 eliminationfull intuitionistic linear logicpatterns

Mathematics Subject Classification ID

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

Recommendations

• A Parigot-style linear -calculus for full intuitionistic linear logic
• Multiple conclusion linear logic: cut elimination and more
• scientific article; zbMATH DE number 1223617
• Full intuitionistic linear logic

Cites work

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

Cited in

(22)

• Investigations into a left-structural right-substructural sequent calculus
• Full intuitionistic linear logic
• New Curry-Howard terms for full linear logic
• A general adequacy result for a linear functional language
• Glueing and orthogonality for models of linear logic
• On categorical equivalence of Gentzen-style derivations in IMLL
• Formalized meta-theory of sequent calculi for substructural logics
• Relating categorical semantics for intuitionistic linear logic
• Coherence in SMCCs and equivalences on derivations in IMML with unit
• Formalized meta-theory of sequent calculi for linear logics
• Coherence spaces and uniform continuity
• Realizability Proof for Normalization of Full Differential Linear Logic
• A Parigot-style linear -calculus for full intuitionistic linear logic
• scientific article; zbMATH DE number 1223617 (Why is no real title available?)
• scientific article; zbMATH DE number 1231523 (Why is no real title available?)
• Semantical observations on the embedding of Intuitionistic Logic into Intuitionistic Linear Logic
• (Dual) hoops have unique halving
• Presheaf models of quantum computation: an outline
• scientific article; zbMATH DE number 7359406 (Why is no real title available?)
• Multiple conclusion linear logic: cut elimination and more
• Proof theory in the abstract
• Facilitating meta-theory reasoning (invited paper)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1919548)