Abduction through semantic tableaux versus abduction through goal-directed proofs

##plugins.themes.bootstrap3.article.main##

##plugins.themes.bootstrap3.article.sidebar##

PDF
Published 18-12-2009
DOI https://doi.org/10.1387/theoria.450
Joke Meheus Dagmar Provijn

Abstract

In this paper, we present the outline for a goal-directed proof procedure for abductive reasoning and compare this procedure with Aliseda's approach

How to Cite

Meheus, J., & Provijn, D. (2009). Abduction through semantic tableaux versus abduction through goal-directed proofs. THEORIA. An International Journal for Theory, History and Foundations of Science, 22(3), 295–304. https://doi.org/10.1387/theoria.450
Abstract 349 | PDF Downloads 493

##plugins.themes.bootstrap3.article.details##

Keywords

abduction, semantic tableaux, goal-directed proof procedures

Issue
Vol. 22 No. 3 (2007): On Atocha Aliseda's _Abductive Reasoning_
Section
FORUM

Authors retain copyright and grant the journal right of first publication with the work simultaneously licensed under a Creative Commons License.