On the Relationship between Abduction and Deduction

@article{Console1991OnTR,
  title={On the Relationship between Abduction and Deduction},
  author={Luca Console and Daniele Theseider Dupr{\'e} and Pietro Torasso},
  journal={J. Log. Comput.},
  year={1991},
  volume={1},
  pages={661-690}
}
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