On the Relationship between Abduction and Deduction

  title={On the Relationship between Abduction and Deduction},
  author={Luca Console and Daniele Theseider Dupr{\'e} and Pietro Torasso},
  journal={J. Log. Comput.},
n a The aim of this paper is at analyzing from various points of view the relationships betwee bduction and deduction. In particular, we consider a meta-level definition of abduction in l d terms of deduction, similar to various definitions proposed in the literature, and an object-leve efinition in which abductive conclusions are expressed as a logical… CONTINUE READING