Multiple conclusion linear logic: cut elimination and more

DOI10.1007/978-3-319-27683-0_7zbMATH Open1476.03083DBLPconf/lfcs/EadesP16OpenAlexW2295505930WikidataQ56994440 ScholiaQ56994440MaRDI QIDQ5283420FDOQ5283420

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

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

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)

Cites Work

• Title not available (Why is that?)
• Resource modalities in tensor logic
• Weakly distributive categories
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Some Syntactical Observations on Linear Logic
• Eine Darstellung der Intuitionistischen Logik in der Klassischen
• Full intuitionistic linear logic
• A note on full intuitionistic linear logic
• Title not available (Why is that?)
• Subnets of proof-nets in multiplicative linear logic with MIX
• Multiple conclusion linear logic: cut elimination and more

Cited In (4)

• Multiple conclusion linear logic: cut elimination and more
• Multiple conclusion linear logic: cut elimination and more
• A Parigot-style linear \(\lambda\)-calculus for full intuitionistic linear logic
• Title not available (Why is that?)

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)