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...

Full description

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