A System of Interaction and Structure II: The Need for Deep Inference
From MaRDI portal
Recommendations
Cited in
(23)- On linear logic planning and concurrency
- Hypersequent and display calculi -- a unified perspective
- System BV is NP-complete
- True concurrency of deep inference proofs
- Linear lambda calculus and deep inference
- Behavioural analysis of sessions using the calculus of structures
- Deep inference and probabilistic coherence spaces
- A Subatomic Proof System for Decision Trees
- An Analytic Propositional Proof System on Graphs
- scientific article; zbMATH DE number 7559468 (Why is no real title available?)
- Deep inference and expansion trees for second-order multiplicative linear logic
- Constructing weak simulations from linear implications for processes with private names
- A logical basis for quantum evolution and entanglement
- Maude as a platform for designing and implementing deep inference systems
- An Algorithmic Interpretation of a Deep Inference System
- A deep inference system with a self-dual binder which is complete for linear lambda calculus
- A System of Interaction and Structure III: The Complexity of BV and Pomset Logic
- A semantic proof of generalised cut elimination for deep inference
- A deep quantitative type system
- Intuitionistic BV
- Deep inference in proof search: the need for shallow inference
- Sequent systems on undirected graphs
- A strictly linear subatomic proof system
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)
