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
id UNACIONAL2_4d6687ec48070662a91090a0b6386e0a
oai_identifier_str oai:repositorio.unal.edu.co:unal/31612
network_acronym_str UNACIONAL2
network_name_str Universidad Nacional de Colombia
repository_id_str
spelling Atribución-NoComercial 4.0 InternacionalDerechos reservados - Universidad Nacional de Colombiahttp://creativecommons.org/licenses/by-nc/4.0/info:eu-repo/semantics/openAccesshttp://purl.org/coar/access_right/c_abf2Muñoz Quevedo, José M.87687997-d2d0-4c11-aa08-f3a816b581773002019-06-26T14:39:26Z2019-06-26T14:39:26Z1992https://repositorio.unal.edu.co/handle/unal/31612http://bdigital.unal.edu.co/21691/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.application/pdfspaBoletín de Matemáticashttp://revistas.unal.edu.co/index.php/bolma/article/view/18192Universidad Nacional de Colombia Revistas electrónicas UN Boletín de MatemáticasBoletín de MatemáticasBoletín de Matemáticas; Vol. 23, núm. 1-2 (1992); 1-21 Boletín de Matemáticas; Vol. 23, núm. 1-2 (1992); 1-21 2357-6529 0120-0380Muñoz Quevedo, José M. (1992) Consistencia, validez y completitud de un sistema proposicional de lógica temporal. Boletín de Matemáticas; Vol. 23, núm. 1-2 (1992); 1-21 Boletín de Matemáticas; Vol. 23, núm. 1-2 (1992); 1-21 2357-6529 0120-0380 .Consistencia, validez y completitud de un sistema proposicional de lógica temporalArtículo de revistainfo:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501http://purl.org/coar/resource_type/c_2df8fbb1http://purl.org/coar/version/c_970fb48d4fbd8a85Texthttp://purl.org/redcol/resource_type/ARTsistema de lógica temporalconsistenciavalidezcompletitudteoría de conjuntosORIGINAL18192-58801-1-PB.pdfapplication/pdf2678531https://repositorio.unal.edu.co/bitstream/unal/31612/1/18192-58801-1-PB.pdf72ddbba8bfc8e6fbb8f8ffbda6247b3cMD51THUMBNAIL18192-58801-1-PB.pdf.jpg18192-58801-1-PB.pdf.jpgGenerated Thumbnailimage/jpeg2527https://repositorio.unal.edu.co/bitstream/unal/31612/2/18192-58801-1-PB.pdf.jpg7eaada5c3f1d183842a20cbd62320d47MD52unal/31612oai:repositorio.unal.edu.co:unal/316122022-12-02 23:05:06.431Repositorio Institucional Universidad Nacional de Colombiarepositorio_nal@unal.edu.co
dc.title.spa.fl_str_mv Consistencia, validez y completitud de un sistema proposicional de lógica temporal
title Consistencia, validez y completitud de un sistema proposicional de lógica temporal
spellingShingle Consistencia, validez y completitud de un sistema proposicional de lógica temporal
sistema de lógica temporal
consistencia
validez
completitud
teoría de conjuntos
title_short Consistencia, validez y completitud de un sistema proposicional de lógica temporal
title_full Consistencia, validez y completitud de un sistema proposicional de lógica temporal
title_fullStr Consistencia, validez y completitud de un sistema proposicional de lógica temporal
title_full_unstemmed Consistencia, validez y completitud de un sistema proposicional de lógica temporal
title_sort Consistencia, validez y completitud de un sistema proposicional de lógica temporal
dc.creator.fl_str_mv Muñoz Quevedo, José M.
dc.contributor.author.spa.fl_str_mv Muñoz Quevedo, José M.
dc.subject.proposal.spa.fl_str_mv sistema de lógica temporal
consistencia
validez
completitud
teoría de conjuntos
topic sistema de lógica temporal
consistencia
validez
completitud
teoría de conjuntos
description 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.
publishDate 1992
dc.date.issued.spa.fl_str_mv 1992
dc.date.accessioned.spa.fl_str_mv 2019-06-26T14:39:26Z
dc.date.available.spa.fl_str_mv 2019-06-26T14:39:26Z
dc.type.spa.fl_str_mv Artículo de revista
dc.type.coar.fl_str_mv http://purl.org/coar/resource_type/c_2df8fbb1
dc.type.driver.spa.fl_str_mv info:eu-repo/semantics/article
dc.type.version.spa.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.coar.spa.fl_str_mv http://purl.org/coar/resource_type/c_6501
dc.type.coarversion.spa.fl_str_mv http://purl.org/coar/version/c_970fb48d4fbd8a85
dc.type.content.spa.fl_str_mv Text
dc.type.redcol.spa.fl_str_mv http://purl.org/redcol/resource_type/ART
format http://purl.org/coar/resource_type/c_6501
status_str publishedVersion
dc.identifier.uri.none.fl_str_mv https://repositorio.unal.edu.co/handle/unal/31612
dc.identifier.eprints.spa.fl_str_mv http://bdigital.unal.edu.co/21691/
url https://repositorio.unal.edu.co/handle/unal/31612
http://bdigital.unal.edu.co/21691/
dc.language.iso.spa.fl_str_mv spa
language spa
dc.relation.spa.fl_str_mv http://revistas.unal.edu.co/index.php/bolma/article/view/18192
dc.relation.ispartof.spa.fl_str_mv Universidad Nacional de Colombia Revistas electrónicas UN Boletín de Matemáticas
Boletín de Matemáticas
dc.relation.ispartofseries.none.fl_str_mv Boletín de Matemáticas; Vol. 23, núm. 1-2 (1992); 1-21 Boletín de Matemáticas; Vol. 23, núm. 1-2 (1992); 1-21 2357-6529 0120-0380
dc.relation.references.spa.fl_str_mv Muñoz Quevedo, José M. (1992) Consistencia, validez y completitud de un sistema proposicional de lógica temporal. Boletín de Matemáticas; Vol. 23, núm. 1-2 (1992); 1-21 Boletín de Matemáticas; Vol. 23, núm. 1-2 (1992); 1-21 2357-6529 0120-0380 .
dc.rights.spa.fl_str_mv Derechos reservados - Universidad Nacional de Colombia
dc.rights.coar.fl_str_mv http://purl.org/coar/access_right/c_abf2
dc.rights.license.spa.fl_str_mv Atribución-NoComercial 4.0 Internacional
dc.rights.uri.spa.fl_str_mv http://creativecommons.org/licenses/by-nc/4.0/
dc.rights.accessrights.spa.fl_str_mv info:eu-repo/semantics/openAccess
rights_invalid_str_mv Atribución-NoComercial 4.0 Internacional
Derechos reservados - Universidad Nacional de Colombia
http://creativecommons.org/licenses/by-nc/4.0/
http://purl.org/coar/access_right/c_abf2
eu_rights_str_mv openAccess
dc.format.mimetype.spa.fl_str_mv application/pdf
dc.publisher.spa.fl_str_mv Boletín de Matemáticas
institution Universidad Nacional de Colombia
bitstream.url.fl_str_mv https://repositorio.unal.edu.co/bitstream/unal/31612/1/18192-58801-1-PB.pdf
https://repositorio.unal.edu.co/bitstream/unal/31612/2/18192-58801-1-PB.pdf.jpg
bitstream.checksum.fl_str_mv 72ddbba8bfc8e6fbb8f8ffbda6247b3c
7eaada5c3f1d183842a20cbd62320d47
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
repository.name.fl_str_mv Repositorio Institucional Universidad Nacional de Colombia
repository.mail.fl_str_mv repositorio_nal@unal.edu.co
_version_ 1814089756509732864