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