Arboles semánticas para lógica modal con algunos resultados sobre sistemas normales
- Autores: Francisco José Salguero Lamillar
- Directores de la Tesis: Emilio Díaz Estévez (dir. tes.)
- Lectura: En la Universidad de Sevilla ( España ) en 1991
- Idioma: español
- Tribunal Calificador de la Tesis: Jorge Pérez Ballestar (presid.), Ángel Nepomuceno Fernández (secret.), Inmaculada Pérez de Guzmán Molina (voc.), Luis Villegas Forero (voc.), Alfredo Burrieza Muñiz (voc.)
- Materias:
- Enlaces
- Tesis en acceso abierto en: Idus
- Resumen
EN LAS ULTIMAS DECADAS HAN PROLIFERADO LOS ESTUDIOS SEMANTICOS REFERIDOS A LOGICAS INTENSIONALES, TANTO DESDE EL PUNTO DE VISTA DE LA TEORIA DE MODELOS COMO DESDE EL DE LA FILOSOFIA DEL LENGUAJE Y EL ANALISIS DE LOS LENGUAJES NATURALES, SOBRE LA BASE DE ESTOS ESTUDIOS, SE PLANTEAN ALGUNOS PROBLEMAS PROPIOS DE LOS LENGUAJES INTENSIONALES EN LA TEORIA SEMANTICA MAS RECIENTE Y SE PROPONE UNA SEMANTICA LOGICA PARA LOS SISTEMAS NORMALES DE LOGICA MODAL ASI COMO UN PROCEDIMIENTO SEMANTICO DE DECISION PARA ALGUNOS DE ESTOS SISTEMAS. TAL PROCEDIMIENTO, BASADO EN LOS ARBOLES SEMANTICOS DE SMULLYAN, PROVEE AL LOGICO DE UNA HERRAMIENTA UTIL PARA DESARROLLAR RESULTADOS METATEORICOS EN EL AMBITO DE LA LOGICA MODAL CLASICA, ASI COMO PARA EXTENDER ESTOS RESULTADOS A OTRO TIPO DE LOGICAS INTENSIONALES.
FINALMENTE, SE DESCRIBE UN CALCULO LOGICO PARA LOGICA MODAL EN SENTIDO LATO QUE, AL ESTAR EMPARENTADO CON EL PROCEDIMIENTO DE ARBOLES SEMANTICOS, SE ENCUENTRA EN FORMA NORMAL DE SUYO, POR LO QUE ES FACILMENTE IMPLEMENTABLE.
