Artículo de revista
Consistencia, validez y completitud de un sistema proposicional de lógica temporal
Fecha
1992Autor
Muñoz Quevedo, José M.
Institución
Resumen
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.