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

Un cálculo temporal de predicados de tipo modal

Muñoz Quevedo, José M. (2010) Un cálculo temporal de predicados de tipo modal. Boletín de Matemáticas; Vol. 2, núm. 2 (1995); 121-140 Boletín de Matemáticas; Vol. 2, núm. 2 (1995); 121-140 2357-6529 0120-0380 .

Texto completo

[img]
Vista previa
PDF
2MB

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

Resumen

Se construye un cálculo predicativo temporal de tipo modal, referido solamente al pasado, con una semántica natural de estructuras con dominios crecientes con el tiempo. Se hallan esquemas y reglas válidas para esta semántica y con algunas de ellas se axiomatiza el sistema, desarrollándolo lo suficiente para que sirva como marco lógico sobre el cual pueda construirse en el futuro una teoría temporal de conjuntos., A first-order temporal calculus is constructed, with a natural semantics given by structures which grow with time. Rules and schemas of the calculus are developped to allow a temporal set theory based on it.

Tipo de documento:Artículo - Article
Palabras clave:cálculo predicativo temporal de tipo modal, teoría de conjuntos, lógica temporal
Unidad administrativa:Revistas electrónicas UN > Boletín de Matemáticas
Código ID:21716
Enviado por : Dirección Nacional de Bibliotecas STECNICO
Enviado el día :27 Junio 2014 12:51
Ultima modificación:18 Agosto 2014 15:41
Ultima modificación:18 Agosto 2014 15:41
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