Search
Now showing items 1-10 of 14
Chapter of Book

La danza y los lenguajes del movimiento
(Thémata, 2006)
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 ...
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

Sobre la no neutralidad de los instrumentos científicos
(Consejo de Seguridad Nuclear, Universidad Autónoma, 2003)
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 ...
Presentation
Chapter of Book
Chapter of Book

Liberalismo y poder
(Eunsa, 2004)
Chapter of Book

Teoría de la argumentación : Información y lógica
(Universidad de Sevilla, 2001)