Consistencia, validez y completitud de un sistema proposicional de lógica temporal
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 s...
- Autores:
-
Muñoz Quevedo, José M.
- Tipo de recurso:
- Article of journal
- Fecha de publicación:
- 1992
- Institución:
- Universidad Nacional de Colombia
- Repositorio:
- Universidad Nacional de Colombia
- Idioma:
- spa
- OAI Identifier:
- oai:repositorio.unal.edu.co:unal/31612
- Acceso en línea:
- https://repositorio.unal.edu.co/handle/unal/31612
http://bdigital.unal.edu.co/21691/
- Palabra clave:
- sistema de lógica temporal
consistencia
validez
completitud
teoría de conjuntos
- Rights
- openAccess
- License
- Atribución-NoComercial 4.0 Internacional
| Summary: | 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. |
|---|