Skip to main content
Article thumbnail
Location of Repository

Metamodeling abduction

By Ángel Nepomuceno-Fernández and Fernando Soler-Toscano


Abduction can be intended as a special kind of deductive consequence. In fact a general trend is to consider it as a backward deduction with some additional conditions. However, there can be more than one kind of deduction, so that any definition of abduction must take that into account. From a logical perspec-tive the problem is precisely the formalization of conditions when the deductive consequence is fixed. In this paper, we adopt Makinson’s method to define new consequence relations, hence abduction is defined as a reverse relation corresponding to each one of such relations

Publisher: Euskal Herriko Unibertsitatea / Universidad del País Vasco
Year: 2007
DOI identifier: 10.1387/theoria.449
OAI identifier:
Provided by: PhilSci Archive

Suggested articles

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