Multiple conclusion linear logic: cut elimination and more

DOI10.1093/logcom/exaa006OpenAlexW3006692893MaRDI QIDQ5108019

Harley III Eades, V. C. V. de Paiva

Publication date: 29 April 2020

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exaa006

zbMATH Keywords

cut eliminationformal proofproof assistantstensorial logicclassical linear logicfull intuitionistic linear logicdialectica categorypar

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (1)

The multiplicative-additive Lambek calculus with subexponential and bracket modalities

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