A system of interaction and structure. V: The exponentials and splitting
DOI10.1017/S096012951100003XzbMATH Open1232.03055OpenAlexW2033464726MaRDI QIDQ3008232FDOQ3008232
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
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
Cut-elimination and normal-form theorems (03F05) Logic in computer science (03B70) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
Cited In (13)
- A System of Interaction and Structure III: The Complexity of BV and Pomset Logic
- Deep inference and expansion trees for second-order multiplicative linear logic
- On the decision problem for MELL
- 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
- Title not available (Why is that?)
- Title not available (Why is that?)
- 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)
