Consistencia, validez y completitud de un sistema proposicional de lógica temporal

José M. Muñoz Quevedo

Publicado

1992-01-01

Consistencia, validez y completitud de un sistema proposicional de lógica temporal

Palabras clave:

sistema de lógica temporal, consistencia, validez, completitud, teoría de conjuntos (es)

Descargas

PDF

Autores/as

José M. Muñoz Quevedo Universidad Nacional de Colombia

Resumen (es)

Se examinan desde el punto de vista proposicional, los requerimientos de un sistema de lógica temporal adecuado para el desarrollo de una teoría de conjuntos en la cual el universo se expanda con el tiempo. Se propone un sistema tal y se prueban su consistencia, su validez y su completitud. Además se analizan semánticamente las consecuencias de añadir otros axiomas relevantes.

Cómo citar

APA

Muñoz Quevedo, J. M. (1992). Consistencia, validez y completitud de un sistema proposicional de lógica temporal. Boletín de Matemáticas, 23(1-2), 1–21. https://revistas.unal.edu.co/index.php/bolma/article/view/18192

ACM

[1]

Muñoz Quevedo, J.M. 1992. Consistencia, validez y completitud de un sistema proposicional de lógica temporal. Boletín de Matemáticas. 23, 1-2 (ene. 1992), 1–21.

ACS

(1)

Muñoz Quevedo, J. M. Consistencia, validez y completitud de un sistema proposicional de lógica temporal. Bol. Matemáticas 1992, 23, 1-21.

ABNT

MUÑOZ QUEVEDO, J. M. Consistencia, validez y completitud de un sistema proposicional de lógica temporal. Boletín de Matemáticas, [S. l.], v. 23, n. 1-2, p. 1–21, 1992. Disponível em: https://revistas.unal.edu.co/index.php/bolma/article/view/18192. Acesso em: 27 dic. 2025.

Chicago

Muñoz Quevedo, José M. 1992. «Consistencia, validez y completitud de un sistema proposicional de lógica temporal». Boletín De Matemáticas 23 (1-2):1-21. https://revistas.unal.edu.co/index.php/bolma/article/view/18192.

Harvard

Muñoz Quevedo, J. M. (1992) «Consistencia, validez y completitud de un sistema proposicional de lógica temporal», Boletín de Matemáticas, 23(1-2), pp. 1–21. Disponible en: https://revistas.unal.edu.co/index.php/bolma/article/view/18192 (Accedido: 27 diciembre 2025).

IEEE

[1]

J. M. Muñoz Quevedo, «Consistencia, validez y completitud de un sistema proposicional de lógica temporal», Bol. Matemáticas, vol. 23, n.º 1-2, pp. 1–21, ene. 1992.

MLA

Muñoz Quevedo, J. M. «Consistencia, validez y completitud de un sistema proposicional de lógica temporal». Boletín de Matemáticas, vol. 23, n.º 1-2, enero de 1992, pp. 1-21, https://revistas.unal.edu.co/index.php/bolma/article/view/18192.

Turabian

Muñoz Quevedo, José M. «Consistencia, validez y completitud de un sistema proposicional de lógica temporal». Boletín de Matemáticas 23, no. 1-2 (enero 1, 1992): 1–21. Accedido diciembre 27, 2025. https://revistas.unal.edu.co/index.php/bolma/article/view/18192.

Vancouver

1.

Muñoz Quevedo JM. Consistencia, validez y completitud de un sistema proposicional de lógica temporal. Bol. Matemáticas [Internet]. 1 de enero de 1992 [citado 27 de diciembre de 2025];23(1-2):1-21. Disponible en: https://revistas.unal.edu.co/index.php/bolma/article/view/18192