Buscar
Mostrando ítems 1-10 de 2229
Abductive virtue and rule of hypothesis introduction in natural deduction La virtud abductiva y la[ Tr]egla de introducción de hipótesis en deducción natural
(Pontificia Universidade Catolica do Parana, 2014)
Since its creation by Peirce, the nature of abductive inference has been construed in many ways. Three construing are analyzed, and some of their derivatives, to then examine the possibility for considering abduction as ...
Using Difference Reduction for Generic Proof Search
(Computación y Sistemas, 2009)
La virtud abductiva y la regla de introducción de hipótesis en deducción natural
(Pontificia Universidade Catolica do Parana, 2014)
Since its creation by Peirce, the nature of abductive inference has been construed in many ways. Three construing are analyzed, and some of their derivatives, to then examine the possibility for considering abduction as ...
Using Difference Reduction for Generic Proof Search
(Revista Computación y Sistemas; Vol. 2 No. 2 y No. 3, 1998-12-15)
Abstract. In this paper a new approach to generic theorem proving
is introduced. We present a set 01 techniques to guide prool search in framework theories that works with different object theories encoded. The techniques ...