Buscar
Mostrando ítems 1-2 de 2
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
Teoría de la argumentación : Información y lógica
(Universidad de Sevilla, 2001)