A System of Interaction and Structure II: The Need for Deep Inference
From MaRDI portal
Publication:5310657
DOI10.2168/LMCS-2(2:4)2006zbMath1126.03051MaRDI QIDQ5310657
Publication date: 11 October 2007
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Logic in computer science (03B70) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
Related Items (12)
A Subatomic Proof System for Decision Trees ⋮ Behavioural Analysis of Sessions Using the Calculus of Structures ⋮ An Analytic Propositional Proof System on Graphs ⋮ A System of Interaction and Structure III: The Complexity of BV and Pomset Logic ⋮ Deep inference and probabilistic coherence spaces ⋮ A Logical Basis for Quantum Evolution and Entanglement ⋮ System BV is NP-complete ⋮ Maude as a Platform for Designing and Implementing Deep Inference Systems ⋮ Hypersequent and display calculi -- a unified perspective ⋮ Unnamed Item ⋮ Constructing weak simulations from linear implications for processes with private names ⋮ On linear logic planning and concurrency
This page was built for publication: A System of Interaction and Structure II: The Need for Deep Inference
