- idUS
- Browsing by Author
Browsing by Author "Costa-Leite, Alexandre"
Now showing items 1-1 of 1
-
Chapter of Book
Abductive reasoning through δ-resolution
Soler Toscano, Fernando (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 ...