Consistencia, validez y completitud de un sistema proposicional de lógica temporal
- Autores: José M. Muñoz Quevedo
- Localización: Boletín de matemáticas, ISSN 0120-0380, ISSN-e 2357-6529, Vol. 23, Nº. 1-2, 1992, págs. 3-21
- Idioma: español
- Enlaces
-
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.
¿Es nuevo? Regístrese
Ventajas de registrarse
