Goal-directed proof theory
From MaRDI portal
Publication:5956945
zbMATH Open0992.03004MaRDI QIDQ5956945FDOQ5956945
Authors: Dov Gabbay, N. Olivetti 
Publication date: 25 February 2002
Published in: Applied Logic Series (Search for Journal in Brave)
Recommendations
- Proof theory and automated deduction
- Proof reconstruction in classical and nonclassical logics (Diss., TU Darmstadt, 1999)
- Algorithmic proof methods and cut elimination for implicational logics. I: Modal implication
- Natural deduction, hybrid systems and modal logics
- Structural proof theory. With an appendix by Aarne Ranta
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Proof theory in general (including proof-theoretic semantics) (03F03) Abstract deductive systems (03B22)
Cited In (21)
- Title not available (Why is that?)
- Algorithmic proof methods and cut elimination for implicational logics. I: Modal implication
- Title not available (Why is that?)
- Journal on Data Semantics I
- Socratic proofs
- ABox abduction in the description logic \(\mathcal{ALC}\)
- Title not available (Why is that?)
- Nice embedding in classical logic
- Handbook of philosophical logic. Vol. 9
- An Evaluation-Driven Decision Procedure for G3i
- A Proof-theoretic Analysis of Goal-directed Provability
- Some formal considerations on Gabbay's restart rule in natural deduction and goal-directed reasoning
- Structural proof theory. With an appendix by Aarne Ranta
- Proof-Search in Natural Deduction Calculus for Classical Propositional Logic
- On goal-directed provability in classical logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- Goal-directed tableaux
- An Interactive Driver for Goal-directed Proof Strategies
- Theorem proving for conditional logics: CondLean and GOALDUCK
- Computer Science Logic
This page was built for publication: Goal-directed proof theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5956945)
