Skip to main content
Article thumbnail
Location of Repository

Pushing the Search Paths in the Proofs. A Study in Proof Heuristics

By Diderik Batens and Dagmar Provijn

Abstract

Introducing techniques deriving from dynamic proofs in proofs for propositional classical logic is shown to lead to a proof format that enables one to push search paths into the proofs themselves. The resulting goal directed proof format is shown to provide a decision method for A1 , . . . An B and a positive test for # A

Publisher: Appeared
Year: 2002
OAI identifier: oai:CiteSeerX.psu:10.1.1.19.4507
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://logica.rug.ac.be/~dirk/... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.