Search
Now showing items 1-10 of 14
Chapter of Book
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 ...
Presentation
Chapter of Book
La danza y los lenguajes del movimiento
(Thémata, 2006)
Chapter of Book
Racionalidad y diversidad cultural en Alfarabi
(Georg Olms, 2006)
Chapter of Book
Introducción. Las escisiones de las tres culturas
(Thémata, 2008)
Chapter of Book
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 ...
Chapter of Book
Chapter of Book
Teoría de la argumentación : Información y lógica
(Universidad de Sevilla, 2001)
Chapter of Book
Liberalismo y poder
(Eunsa, 2004)
Chapter of Book
El papel de la técnica en el conocimiento científico
(Fundación El Monte, 2006)