A system of interaction and structure. V: The exponentials and splitting
From MaRDI portal
(Redirected from Publication:3008232)
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
(16)- On the decision problem for MELL
- A system of interaction and structure. IV: The exponentials and decomposition
- On the Power of Substitution in the Calculus of Structures
- Linear lambda calculus and deep inference
- scientific article; zbMATH DE number 1980929 (Why is no real title available?)
- Subatomic proof systems: splittable systems
- System NEL is undecidable
- An Analytic Propositional Proof System on Graphs
- The sub-additives: a proof theory for probabilistic choice extending linear logic
- Deep inference and expansion trees for second-order multiplicative linear logic
- Constructing weak simulations from linear implications for processes with private names
- A system of interaction and structure
- A System of Interaction and Structure III: The Complexity of BV and Pomset Logic
- A semantic proof of generalised cut elimination for deep inference
- Intuitionistic BV
- Deep inference in proof search: the need for shallow inference
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)
