Buscar
Mostrando ítems 1-2 de 2
Capítulo de Libro
Abductive reasoning through δ-resolution
(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 ...
Capítulo de Libro
Representaciones y existencia matemática
(Universidad de Málaga, 2009)