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