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

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

• 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

Mathematics Subject Classification ID

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)