Multiple Conclusion Linear Logic: Cut Elimination and More
From MaRDI portal
Publication:5283420
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
proof theorycut-eliminationtensorial logiccategorical modelclassical linear logicfull intuitionistic linear logicdialectica categoryparlinear/non-linear models
Cut-elimination and normal-form theorems (03F05) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- 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