A system of interaction and structure. V: The exponentials and splitting

DOI10.1017/S096012951100003XMaRDI QIDQ3008232zbMATH OpenOpenAlexFDO

Authors Alessio Guglielmi, Lutz Straßburger

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

proof theorylinear logiccut eliminationNEL

Mathematics Subject Classification ID

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

Recommendations

• A system of interaction and structure. IV: The exponentials and decomposition
• scientific article; zbMATH DE number 1980929
• System NEL is undecidable
• Non-commutative logic. I: The multiplicative fragment
• Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic

Cited in

(13)

• A System of Interaction and Structure III: The Complexity of BV and Pomset Logic
• On the decision problem for MELL
• Deep inference and expansion trees for second-order multiplicative linear logic
• System NEL is undecidable
• A system of interaction and structure
• On the Power of Substitution in the Calculus of Structures
• Linear lambda calculus and deep inference
• Subatomic proof systems: splittable systems
• scientific article; zbMATH DE number 1980929 (Why is no real title available?)
• scientific article; zbMATH DE number 7559289 (Why is no real title available?)
• Constructing weak simulations from linear implications for processes with private names
• A system of interaction and structure. IV: The exponentials and decomposition
• An Analytic Propositional Proof System on Graphs

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3008232)