Metamodeling abduction

A general trend is to consider abduction as a backward deduction with some additional conditions, but there can be more than one kind of deduction. By adopting Makinson’s method to define deductive consequence relations, abduction is settled as a reverse one corresponding to each one of such deducti...

Full description

Bibliographic Details
Main Authors: Ángel Nepomuceno, Fernando Soler Toscano
Format: Article
Language:English
Published: University of the Basque Country 2009-12-01
Series:THEORIA : an International Journal for Theory, History and Fundations of Science
Subjects:
Online Access:http://www.ehu.es/ojs/index.php/THEORIA/article/view/449