Buscar
Mostrando ítems 1-10 de 14
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 ...
Ponencia
Capítulo de Libro
La danza y los lenguajes del movimiento
(Thémata, 2006)
Capítulo de Libro
Racionalidad y diversidad cultural en Alfarabi
(Georg Olms, 2006)
Capítulo de Libro
Introducción. Las escisiones de las tres culturas
(Thémata, 2008)
Capítulo de Libro
Deducción y generación de modelos de cardinalidad finita
(Ediciones de la Universidad de Castilla la Mancha, 2006)
Presentamos un procedimiento de tablas semánticas distinto de las estándar en el tratamiento dado a las sentencias de la clase δ, proponiendo modificaciones de esta regla que eviten la generación de ramas infinitas. Las ...
Capítulo de Libro
Capítulo de Libro
Teoría de la argumentación : Información y lógica
(Universidad de Sevilla, 2001)
Capítulo de Libro
Liberalismo y poder
(Eunsa, 2004)
Capítulo de Libro
El papel de la técnica en el conocimiento científico
(Fundación El Monte, 2006)