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

Estudio de un cálculo proposicional con localización temporal

Muñoz, José and Márquez, Ramiro (2013) Estudio de un cálculo proposicional con localización temporal. Boletín de Matemáticas; Vol. 9, núm. 2 (2002); 53-66 Boletín de Matemáticas; Vol. 9, núm. 2 (2002); 53-66 2357-6529 0120-0380 .

Texto completo

[img]
Vista previa
PDF
166kB

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

Resumen

El objeto del estudio del cálculo proposicional con localizacióntemporal lo constituyen las afirmaciones cuya veracidad depende del momento en el cual se afirman. Por ello se introduce el “operador Rt de realización temporal” para expresar “en el instante t se realiza \phi” mediante“Rt(\phi)”. Se construye un cálculo proposicional incluyendo el símbolo Rt y permitiendo cuantificar las variables temporales, con axiomas y reglas deductivas específicas, el cual con respecto a una clase adecuada de estructuras,resulta ser válido y completo. La prueba de completitud sehace mostrando que vía una traducción adecuada, este cálculo proposicional con localización temporal resulta sorpresivamente ser en cierta forma equivalente al cálculo de predicados monádicos con igualdad.

Tipo de documento:Artículo - Article
Palabras clave:Cálculo proposicional, localización temporal, completitud, validez.
Unidad administrativa:Revistas electrónicas UN > Boletín de Matemáticas
Código ID:37971
Enviado por : Dirección Nacional de Bibliotecas STECNICO
Enviado el día :03 Julio 2014 18:14
Ultima modificación:18 Agosto 2014 22:08
Ultima modificación:18 Agosto 2014 22:08
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