A System of Interaction and Structure II: The Need for Deep Inference

DOI10.2168/LMCS-2(2:4)2006MaRDI QIDQ5310657zbMATH OpenFDO

Authors Alwen Tiu

Publication date 11 October 2007

Published in Logical Methods in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Logic in computer science (03B70) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Recommendations

• A system of interaction and structure
• Deep inference and probabilistic coherence spaces
• Interaction and depth against nondeterminism in proof search
• Linear lambda calculus and deep inference
• A deep inference system with a self-dual binder which is complete for linear lambda calculus

Cited in

(17)

• A System of Interaction and Structure III: The Complexity of BV and Pomset Logic
• Behavioural analysis of sessions using the calculus of structures
• Deep inference and expansion trees for second-order multiplicative linear logic
• A deep inference system with a self-dual binder which is complete for linear lambda calculus
• System BV is NP-complete
• True concurrency of deep inference proofs
• Maude as a platform for designing and implementing deep inference systems
• 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
• scientific article; zbMATH DE number 7559468 (Why is no real title available?)
• 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)