Now showing items 1-1 of 1
Abductive reasoning through δ-resolution [Chapter of Book]
(Unicamp. Centro de Lógica, Epistemologia e História da Ciência (CLE), 2009)
In order to explore the duality between deductive and abductive reasoning, we present a propositional calculus, named δ-resolution, dual to the resolution one. We say it is an abductive calculus because every formula ...