A System of Interaction and Structure II: The Need for Deep Inference
From MaRDI portal
Publication:5310657
DOI10.2168/LMCS-2(2:4)2006zbMATH Open1126.03051MaRDI QIDQ5310657FDOQ5310657
Authors: Alwen Tiu
Publication date: 11 October 2007
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Recommendations
Logic in computer science (03B70) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
Cited In (17)
- 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
- Behavioural analysis of sessions using the calculus of structures
- A deep inference system with a self-dual binder which is complete for linear lambda calculus
- System BV is NP-complete
- Maude as a platform for designing and implementing deep inference systems
- True concurrency of deep inference proofs
- Deep inference and probabilistic coherence spaces
- Linear lambda calculus and deep inference
- Hypersequent and display calculi -- a unified perspective
- A logical basis for quantum evolution and entanglement
- An Algorithmic Interpretation of a Deep Inference System
- On linear logic planning and concurrency
- Title not available (Why is that?)
- A Subatomic Proof System for Decision Trees
- Constructing weak simulations from linear implications for processes with private names
- An Analytic Propositional Proof System on Graphs
This page was built for publication: A System of Interaction and Structure II: The Need for Deep Inference
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5310657)