Goal-directed proof theory
From MaRDI portal
Publication:5956945
zbMath0992.03004MaRDI QIDQ5956945
Dov M. Gabbay, Nicola Olivetti
Publication date: 25 February 2002
Published in: Applied Logic Series (Search for Journal in Brave)
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)
Related Items (6)
Socratic proofs ⋮ Nice embedding in classical logic ⋮ Proof-Search in Natural Deduction Calculus for Classical Propositional Logic ⋮ An Evaluation-Driven Decision Procedure for G3i ⋮ ABox abduction in the description logic \(\mathcal{ALC}\) ⋮ Theorem proving for conditional logics: CondLean and GOALDUCK
This page was built for publication: Goal-directed proof theory
