Multiple Conclusion Linear Logic: Cut Elimination and More

DOI10.1007/978-3-319-27683-0_7zbMath1476.03083OpenAlexW2295505930WikidataQ56994440 ScholiaQ56994440MaRDI QIDQ5283420

Harley III Eades, V. C. V. 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)

Related Items (2)

Multiple Conclusion Linear Logic: Cut Elimination and More ⋮ Unnamed Item

Cites Work

• Resource modalities in tensor logic
• Weakly distributive categories
• Full intuitionistic linear logic
• A note on full intuitionistic linear logic
• Some Syntactical Observations on Linear Logic
• Subnets of proof-nets in multiplicative linear logic with MIX
• Multiple Conclusion Linear Logic: Cut Elimination and More
• Eine Darstellung der Intuitionistischen Logik in der Klassischen
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Multiple Conclusion Linear Logic: Cut Elimination and More