Multiple conclusion linear logic: cut elimination and more

DOI10.1007/978-3-319-27683-0_7MaRDI QIDQ5283420zbMATHOpenAlexDBLPWikidataFDO

Authors Harley III Eades, Valeria de Paiva

Publication date 21 July 2017

Published in Logical Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-27683-0_7

zbMATH Keywords

proof theorycut-eliminationtensorial logiccategorical modelclassical linear logicfull intuitionistic linear logicdialectica categoryparlinear/non-linear models

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Recommendations

• Multiple conclusion linear logic: cut elimination and more
• Full intuitionistic linear logic
• scientific article; zbMATH DE number 1024333
• A note on full intuitionistic linear logic
• Annotation-free sequent calculi for full intuitionistic linear logic

Cites work

• scientific article; zbMATH DE number 4103051 (Why is no real title available?)
• scientific article; zbMATH DE number 4104952 (Why is no real title available?)
• scientific article; zbMATH DE number 192927 (Why is no real title available?)
• scientific article; zbMATH DE number 1223617 (Why is no real title available?)
• scientific article; zbMATH DE number 2226181 (Why is no real title available?)
• A note on full intuitionistic linear logic
• Eine Darstellung der Intuitionistischen Logik in der Klassischen
• Full intuitionistic linear logic
• Multiple conclusion linear logic: cut elimination and more
• Resource modalities in tensor logic
• Some Syntactical Observations on Linear Logic
• Subnets of proof-nets in multiplicative linear logic with MIX
• Weakly distributive categories

Cited in

(4)

• A Parigot-style linear \(\lambda\)-calculus for full intuitionistic linear logic
• Multiple conclusion linear logic: cut elimination and more
• Multiple conclusion linear logic: cut elimination and more
• scientific article; zbMATH DE number 7359406 (Why is no real title available?)

This page was built for publication: Multiple conclusion linear logic: cut elimination and more

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