A system of interaction and structure V: the exponentials and splitting

DOI10.1017/S096012951100003XzbMath1232.03055OpenAlexW2033464726MaRDI QIDQ3008232

Lutz Straßburger, Alessio Guglielmi

Publication date: 15 June 2011

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s096012951100003x

zbMATH Keywords

cut eliminationlinear logicproof theoryNEL

Mathematics Subject Classification ID

Logic in computer science (03B70) Cut-elimination and normal-form theorems (03F05) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (8)

An Analytic Propositional Proof System on Graphs ⋮ On the Power of Substitution in the Calculus of Structures ⋮ A System of Interaction and Structure III: The Complexity of BV and Pomset Logic ⋮ On the decision problem for MELL ⋮ Linear Lambda Calculus and Deep Inference ⋮ Unnamed Item ⋮ Deep inference and expansion trees for second-order multiplicative linear logic ⋮ Constructing weak simulations from linear implications for processes with private names

This page was built for publication: A system of interaction and structure V: the exponentials and splitting