Metamodeling abduction

Ángel Nepomuceno, Fernando Soler Toscano

Abstract


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 deductive relations

Keywords


abduction, explicative relations, pivotal consequences, structural rules

Full Text:

PDF


DOI: http://dx.doi.org/10.1387/theoria.449