Escudo de la República de Colombia
Sistema Nacional de Biliotecas - Repositorio Institucional Universidad Nacional de Colombia Biblioteca Digital - Repositorio Institucional UN Sistema Nacional de Bibliotecas UN

Caracterización semántica de la jerarquía scr-n (1

Sierra, Manuel (2012) Caracterización semántica de la jerarquía scr-n (1. Boletín de Matemáticas; Vol. 14, núm. 2 (2007); 110-128 Boletín de Matemáticas; Vol. 14, núm. 2 (2007); 110-128 2357-6529 0120-0380 .

Texto completo

[img]
Vista previa
PDF
178kB

URL oficial: http://revistas.unal.edu.co/index.php/bolma/articl...

Resumen

Se presentan como extensiones del cálculo proposicional clásico, la jerarquía de sistemas deductivos SCR-n con n>=1. SCR-n es el sistema de creencias para los razonadores de tipo n. El sistema SCR-w resulta de la reunión de los sistemas de la jerarquía, y coincide con el sistema de lógica modal K, por lo que la jerarquía SCR-n resulta ubicada entre elcálculo proposicional cláasico y el sistema modal K. Los sistemas son caracterizados con una semántica al estilo Kripke, en la cual, la longitud de las cadenas de mundos posibles se encuentra restringida en función deltipo de razonador. As, la profundidad de un modelo corresponde a la longitud máxima de las cadenas de mundos posibles que guren en el modelo, resultando que los modelos de profundidad n caracterizan el sistema deductivo SCR-(n+1). Las pruebas de validez y completitud, de lossistemas de la jerarquía, son presentadas de forma detallada, así como la extensión de estas pruebas al sistema modal K.

Tipo de documento:Artículo - Article
Palabras clave:Cálculo proposicional clásico, sistemas deductivos SCR-n, sistemas de lógica modal K, semántica al estilo Kripke.
Unidad administrativa:Revistas electrónicas UN > Boletín de Matemáticas
Código ID:38093
Enviado por : Dirección Nacional de Bibliotecas STECNICO
Enviado el día :03 Julio 2014 18:52
Ultima modificación:18 Agosto 2014 22:11
Ultima modificación:18 Agosto 2014 22:11
Exportar:Clic aquí
Estadísticas:Clic aquí
Compartir:

Solamente administradores del repositorio: página de control del ítem

Vicerrectoría de Investigación: Número uno en investigación
Indexado por:
Indexado por Scholar Google WorldCat DRIVER Registry of Open Access Repositories OpenDOAR Metabiblioteca BDCOL OAIster Red de repositorios latinoamericanos DSpace BASE Open archives La referencia Colombiae Open Access Theses and Dissertations Tesis latinoamericanas CLACSO
Este sitio web se ve mejor en Firefox