Reducing Nondeterminism in the Calculus of Structures
From MaRDI portal
Publication:5387898
DOI10.1007/11916277_19zbMath1165.03346OpenAlexW1600264565MaRDI 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
Logic in computer science (03B70) Structure of proofs (03F07) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
Related Items
A deep inference system for the modal logic S5 ⋮ On the Power of Substitution in the Calculus of Structures ⋮ System BV is NP-complete ⋮ Maude as a Platform for Designing and Implementing Deep Inference Systems ⋮ On linear logic planning and concurrency
This page was built for publication: Reducing Nondeterminism in the Calculus of Structures