Deducción y generación de modelos de cardinalidad finita

2016-12-162016-12-16200684-689-9560-6http://hdl.handle.net/11441/50565Presentamos 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.application/pdfspaAttribution-NonCommercial-NoDerivatives 4.0 Internacionalhttp://creativecommons.org/licenses/by-nc-nd/4.0/Deducción y generación de modelos de cardinalidad finitainfo:eu-repo/semantics/bookPartinfo:eu-repo/semantics/openAccess