Reducing Nondeterminism in the Calculus of Structures
From MaRDI portal
Publication:5387898
DOI10.1007/11916277_19zbMath1165.03346MaRDI QIDQ5387898
Publication date: 27 May 2008
Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)
Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.59.4711
03B70: Logic in computer science
03F07: Structure of proofs
03F52: Proof-theoretic aspects of linear logic and other substructural logics
Related Items
Maude as a Platform for Designing and Implementing Deep Inference Systems, On linear logic planning and concurrency, System BV is NP-complete, A deep inference system for the modal logic S5, On the Power of Substitution in the Calculus of Structures