Goal-directed proof theory

zbMATH Open0992.03004MaRDI QIDQ5956945FDOQ5956945

Authors Dov Gabbay, N. Olivetti 

Publication date 25 February 2002

Published in Applied Logic Series (Search for Journal in Brave)

zbMATH Keywords

Kripke modelsproof systemspropositional calculusgoal-directed proofbackwards proofs

Mathematics Subject Classification ID

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)

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

Cited In (23)

• Title not available (Why is no real title available?)
• An evaluation-driven decision procedure for G3i
• Algorithmic proof methods and cut elimination for implicational logics. I: Modal implication
• Title not available (Why is no real title available?)
• Journal on Data Semantics I
• Socratic proofs
• ABox abduction in the description logic \(\mathcal{ALC}\)
• Title not available (Why is no real title available?)
• Nice embedding in classical logic
• Handbook of philosophical logic. Vol. 9
• Disjunction and modular goal-directed proof search
• 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 no real title available?)
• Title not available (Why is no real title available?)
• An encyclopaedia of proof systems
• 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)