Now showing items 1-1 of 1

    • Chapter of Book
      Icon

      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 ...