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


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:
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • (external link)
  • Suggested articles

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