Capítulo de Libro
Deducción y generación de modelos de cardinalidad finita
Autor/es | Nepomuceno Fernández, Ángel
Soler Toscano, Fernando Salguero Lamillar, Francisco J. |
Departamento | Universidad de Sevilla. Departamento de Filosofía y Lógica y Filosofía de la Ciencia Universidad de Sevilla. Departamento de Lengua Española, Lingüística y Teoría de la Literatura |
Fecha de publicación | 2006 |
Fecha de depósito | 2016-12-16 |
Publicado en |
|
ISBN/ISSN | 84-689-9560-6 |
Resumen | 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 ... 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 nuevas tablas se revelan útiles para el estudio de lenguajes lógico-formales con semántica finitaria, en particular como procedimiento para definir modelos finitos de sentencias satisfacibles. Mostramos también la aplicabilidad de estos resultados al análisis de la ambigüedad y otros fenómenos en la interpretación del discurso. |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
DEDUCCIÓN Y GENERACIÓN DE MODELOS ... | 169.7Kb | [PDF] | Ver/ | |