Goal-directed proof theory
From MaRDI portal
Publication:5956945
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)- Theorem proving for conditional logics: CondLean and GOALDUCK
- Algorithmic proof methods and cut elimination for implicational logics. I: Modal implication
- Handbook of philosophical logic. Vol. 9
- ABox abduction in the description logic \(\mathcal{ALC}\)
- A Proof-theoretic Analysis of Goal-directed Provability
- Structural proof theory. With an appendix by Aarne Ranta
- scientific article; zbMATH DE number 2096993 (Why is no real title available?)
- Disjunction and modular goal-directed proof search
- An evaluation-driven decision procedure for G3i
- An Interactive Driver for Goal-directed Proof Strategies
- Goal-directed tableaux
- Socratic proofs
- scientific article; zbMATH DE number 65530 (Why is no real title available?)
- scientific article; zbMATH DE number 4117898 (Why is no real title available?)
- scientific article; zbMATH DE number 2042611 (Why is no real title available?)
- Some formal considerations on Gabbay's restart rule in natural deduction and goal-directed reasoning
- Proof-Search in Natural Deduction Calculus for Classical Propositional Logic
- On goal-directed provability in classical logic
- scientific article; zbMATH DE number 1696800 (Why is no real title available?)
- An encyclopaedia of proof systems
- Journal on Data Semantics I
- Nice embedding in classical logic
- 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)
