Euskal Herriko Unibertsitatea / Universidad del País Vasco
Doi
Abstract
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
Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.