Multiple conclusion linear logic: cut elimination and more

DOI10.1007/978-3-319-27683-0_7MaRDI QIDQ5283420zbMATH OpenOpenAlexDBLPWikidataFDO

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

categorical modelclassical linear logiccut-eliminationdialectica categoryfull intuitionistic linear logiclinear/non-linear modelsparproof theorytensorial logic

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

• A note on full intuitionistic linear logic
• Eine Darstellung der Intuitionistischen Logik in der Klassischen
• Full intuitionistic linear logic
• 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?)
• 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

(8)

• Full intuitionistic linear logic
• A note on full intuitionistic 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 1024333 (Why is no real title available?)
• scientific article; zbMATH DE number 7359406 (Why is no real title available?)
• Multiple conclusion linear logic: cut elimination and more
• Multiple conclusion linear logic: cut elimination and more

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)