Pushing the search paths in the proofs. A study in proof heuristics* Diderik Batens and Dagmar Provijn
Logique Et Analyse 44:113 (2001)
| Abstract | This article has no associated abstract. (fix it) |
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| Options |
Edit this record
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Pushing the Search Paths in the Proofs. A Study in Proof Heuristics.Diderik Batens & Dagmar Provijn - 2003 - Logique Et Analyse 173:113-134.
Natural Heuristics for Proof Construction: Part I: Classical Prepositional Logic.Diderik Batens - 1989 - Logique Et Analyse 127 (27):337-363.
The Generation of Abductive Explanations From Inconsistent Theories.Dagmar Provijn - 2012 - Logic Journal of the IGPL 20 (2):400-416.
Direct Dynamic Proofs for Classical Compatibility.Dagmar Provijn & Joke Meheus - 2004 - Logique Et Analyse 185:305-317.
Some Adaptive Logics for Diagnosis.Diderik Batens, Joke Meheus, Dagmar Provijn & Liza Verhoeven - 2003 - Logic and Logical Philosophy 11:39-65.
A Diagrammatic Proof Search Procedure as Part of a Formal Approach to Problem Solving.Diderik Batens - 2006 - In L. Magnani (ed.), Model-Based Reasoning in Science and Engineering. College Publications. pp. 2--265.
Dirk Batens, Editorial Note 3 Andrzej Wisniewski, Questions and Inferences 5 Diderik Batens, a General Characterization of Adaptive Logics. 45 Mariusz Urbanski, Synthetic Tableaux and Erotetic Search Scenarios: Extension and Extraction 69. [REVIEW]Liza Verhoeven, All Premises Are Equal, But Some Are More, Erik Weber, Maarten van Dyck & Adaptive Logic - 2001 - Logique Et Analyse 44:1.
A Formal Analysis of Diagnosis and Diagnostic Reasoning.Erik Weber & Dagmar Provijn - 1999 - Logique Et Analyse 165:61-180.
Abduction Through Semantic Tableaux Versus Abduction Through Goal-Directed Proofs.Joke Meheus & Dagmar Provijn - 2007 - Theoria 22 (3):295-304.
Direct Dynamic Proofs for the Rescher-Manor Consequence Relations: The Flat Case.Diderik Batens & Timothy Vermeir - 2002 - Journal of Applied Non-Classical Logics 12 (1):63-84.
Paraconsistent extensional propositional logics.Diderik Batens - 1980 - Logique and Analyse 90 (90):195-234.
A General Characterization of Adaptive Logics.Diderik Batens - 2001 - Logique Et Analyse 173 (175):45-68.
A Completeness-Proof Method for Extensions of the Implicational Fragment of the Propositional Calculus.Diderik Batens - 1980 - Notre Dame Journal of Formal Logic 21 (3):509-517.
Blocks. The Clue to Dynamic Aspects of Logic.Diderik Batens - 1995 - Logique and Analyse 150:285-328.
A Strengthening of the Rescher--Manor Consequence Relations.Diderik Batens - 2003 - Logique Et Analyse 183:289-313.
Analytics
Added to PP index
2014-01-19
Total downloads
0
Recent downloads (6 months)
0
2014-01-19
Total downloads
0
Recent downloads (6 months)
0
How can I increase my downloads?
Monthly downloads
Sorry, there are not enough data points to plot this chart.
Sorry, there are not enough data points to plot this chart.
