Reducing Nondeterminism in the Calculus of Structures

DOI10.1007/11916277_19MaRDI QIDQ5387898zbMATH OpenOpenAlexFDO

Authors Ozan Kahramanoğulları

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

Mathematics Subject Classification ID

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

Recommendations

• Interaction and depth against nondeterminism in proof search
• The focused calculus of structures
• A system of interaction and structure
• scientific article; zbMATH DE number 1841813
• MELL in the calculus of structures

Cited in

(11)

• On linear logic planning and concurrency
• MELL in the calculus of structures
• System BV is NP-complete
• A deep inference system for the modal logic S5
• On the Power of Substitution in the Calculus of Structures
• scientific article; zbMATH DE number 3960995 (Why is no real title available?)
• scientific article; zbMATH DE number 4037175 (Why is no real title available?)
• scientific article; zbMATH DE number 4043254 (Why is no real title available?)
• A proof calculus which reduces syntactic bureaucracy
• Maude as a platform for designing and implementing deep inference systems
• Interaction and depth against nondeterminism in proof search

This page was built for publication: Reducing Nondeterminism in the Calculus of Structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5387898)