Correo Electrónico
DNINFOA - SIA
Bibliotecas
Convocatorias
Identidad U.N.
Publicado
2002-07-01
ESTUDIO DE UN CÁLCULO PROPOSICIONAL CON LOCALIZACIÓN TEMPORAL
Palabras clave:
Cálculo proposicional, localización temporal, completitud, validez. (es)Descargas
El objeto del estudio del cálculo proposicional con localización
temporal 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 se
hace 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.
Cómo citar
APA
Muñoz, J. & Márquez, R. (2002). ESTUDIO DE UN CÁLCULO PROPOSICIONAL CON LOCALIZACIÓN TEMPORAL. Boletín de Matemáticas, 9(2), 53–66. https://revistas.unal.edu.co/index.php/bolma/article/view/40233
ACM
[1]
Muñoz, J. y Márquez, R. 2002. ESTUDIO DE UN CÁLCULO PROPOSICIONAL CON LOCALIZACIÓN TEMPORAL. Boletín de Matemáticas. 9, 2 (jul. 2002), 53–66.
ACS
(1)
Muñoz, J.; Márquez, R. ESTUDIO DE UN CÁLCULO PROPOSICIONAL CON LOCALIZACIÓN TEMPORAL. Bol. Matemáticas 2002, 9, 53-66.
ABNT
MUÑOZ, J.; MÁRQUEZ, R. ESTUDIO DE UN CÁLCULO PROPOSICIONAL CON LOCALIZACIÓN TEMPORAL. Boletín de Matemáticas, [S. l.], v. 9, n. 2, p. 53–66, 2002. Disponível em: https://revistas.unal.edu.co/index.php/bolma/article/view/40233. Acesso em: 28 dic. 2025.
Chicago
Muñoz, José, y Ramiro Márquez. 2002. «ESTUDIO DE UN CÁLCULO PROPOSICIONAL CON LOCALIZACIÓN TEMPORAL». Boletín De Matemáticas 9 (2):53-66. https://revistas.unal.edu.co/index.php/bolma/article/view/40233.
Harvard
Muñoz, J. y Márquez, R. (2002) «ESTUDIO DE UN CÁLCULO PROPOSICIONAL CON LOCALIZACIÓN TEMPORAL», Boletín de Matemáticas, 9(2), pp. 53–66. Disponible en: https://revistas.unal.edu.co/index.php/bolma/article/view/40233 (Accedido: 28 diciembre 2025).
IEEE
[1]
J. Muñoz y R. Márquez, «ESTUDIO DE UN CÁLCULO PROPOSICIONAL CON LOCALIZACIÓN TEMPORAL», Bol. Matemáticas, vol. 9, n.º 2, pp. 53–66, jul. 2002.
MLA
Muñoz, J., y R. Márquez. «ESTUDIO DE UN CÁLCULO PROPOSICIONAL CON LOCALIZACIÓN TEMPORAL». Boletín de Matemáticas, vol. 9, n.º 2, julio de 2002, pp. 53-66, https://revistas.unal.edu.co/index.php/bolma/article/view/40233.
Turabian
Muñoz, José, y Ramiro Márquez. «ESTUDIO DE UN CÁLCULO PROPOSICIONAL CON LOCALIZACIÓN TEMPORAL». Boletín de Matemáticas 9, no. 2 (julio 1, 2002): 53–66. Accedido diciembre 28, 2025. https://revistas.unal.edu.co/index.php/bolma/article/view/40233.
Vancouver
1.
Muñoz J, Márquez R. ESTUDIO DE UN CÁLCULO PROPOSICIONAL CON LOCALIZACIÓN TEMPORAL. Bol. Matemáticas [Internet]. 1 de julio de 2002 [citado 28 de diciembre de 2025];9(2):53-66. Disponible en: https://revistas.unal.edu.co/index.php/bolma/article/view/40233
Descargar cita
Visitas a la página del resumen del artículo
204
Descargas
Los datos de descargas todavía no están disponibles.
Licencia
Derechos de autor 2002 Boletín de Matemáticas
Esta obra está bajo una licencia internacional Creative Commons Atribución 4.0.
