Estudio de un cálculo proposicional con localización temporal
El objeto del estudio del cálculo proposicional con localizacióntemporal lo constituyen las afirmaciones cuya veracidad depende del momento en el cual se afirman. Por ello se introduce el “operador Rt de realización temporal” para expresar “en el instante t se realiza \phi” mediante“Rt(\phi)”. Se co...
- Autores:
-
Muñoz, José
Márquez, Ramiro
- Tipo de recurso:
- Article of journal
- Fecha de publicación:
- 2002
- Institución:
- Universidad Nacional de Colombia
- Repositorio:
- Universidad Nacional de Colombia
- Idioma:
- spa
- OAI Identifier:
- oai:repositorio.unal.edu.co:unal/73495
- Acceso en línea:
- https://repositorio.unal.edu.co/handle/unal/73495
http://bdigital.unal.edu.co/37971/
- Palabra clave:
- Cálculo proposicional
localización temporal
completitud
validez.
- Rights
- openAccess
- License
- Atribución-NoComercial 4.0 Internacional
id |
UNACIONAL2_350eca1ef45096b81fd910acdbef9532 |
---|---|
oai_identifier_str |
oai:repositorio.unal.edu.co:unal/73495 |
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, Joséf596d59a-2622-4d74-94a7-d0d29f38ef40300Márquez, Ramiro3432bb9c-233a-4ab6-beee-a47795d6ab3e3002019-07-03T16:25:54Z2019-07-03T16:25:54Z2002https://repositorio.unal.edu.co/handle/unal/73495http://bdigital.unal.edu.co/37971/El objeto del estudio del cálculo proposicional con localizacióntemporal lo constituyen las afirmaciones cuya veracidad depende del momento en el cual se afirman. Por ello se introduce el “operador Rt de realización temporal” para expresar “en el instante t se realiza \phi” mediante“Rt(\phi)”. Se construye un cálculo proposicional incluyendo el símbolo Rt y permitiendo cuantificar las variables temporales, con axiomas y reglas deductivas específicas, el cual con respecto a una clase adecuada de estructuras,resulta ser válido y completo. La prueba de completitud sehace mostrando que vía una traducción adecuada, este cálculo proposicional con localización temporal resulta sorpresivamente ser en cierta forma equivalente al cálculo de predicados monádicos con igualdad.application/pdfspaBoletín de Matemáticashttp://revistas.unal.edu.co/index.php/bolma/article/view/40233Universidad Nacional de Colombia Revistas electrónicas UN Boletín de MatemáticasBoletín de MatemáticasBoletín de Matemáticas; Vol. 9, núm. 2 (2002); 53-66 Boletín de Matemáticas; Vol. 9, núm. 2 (2002); 53-66 2357-6529 0120-0380Muñoz, José and Márquez, Ramiro (2002) Estudio de un cálculo proposicional con localización temporal. Boletín de Matemáticas; Vol. 9, núm. 2 (2002); 53-66 Boletín de Matemáticas; Vol. 9, núm. 2 (2002); 53-66 2357-6529 0120-0380 .Estudio de un cálculo proposicional con localización 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/ARTCálculo proposicionallocalización temporalcompletitudvalidez.ORIGINAL40233-180502-1-PB.pdfapplication/pdf166708https://repositorio.unal.edu.co/bitstream/unal/73495/1/40233-180502-1-PB.pdfcd43cbc736a4405ca6f56e6f84f7b815MD51THUMBNAIL40233-180502-1-PB.pdf.jpg40233-180502-1-PB.pdf.jpgGenerated Thumbnailimage/jpeg4610https://repositorio.unal.edu.co/bitstream/unal/73495/2/40233-180502-1-PB.pdf.jpg8f9eb2c2d1f06eeffa78630eec0dc25fMD52unal/73495oai:repositorio.unal.edu.co:unal/734952023-06-29 23:03:30.864Repositorio Institucional Universidad Nacional de Colombiarepositorio_nal@unal.edu.co |
dc.title.spa.fl_str_mv |
Estudio de un cálculo proposicional con localización temporal |
title |
Estudio de un cálculo proposicional con localización temporal |
spellingShingle |
Estudio de un cálculo proposicional con localización temporal Cálculo proposicional localización temporal completitud validez. |
title_short |
Estudio de un cálculo proposicional con localización temporal |
title_full |
Estudio de un cálculo proposicional con localización temporal |
title_fullStr |
Estudio de un cálculo proposicional con localización temporal |
title_full_unstemmed |
Estudio de un cálculo proposicional con localización temporal |
title_sort |
Estudio de un cálculo proposicional con localización temporal |
dc.creator.fl_str_mv |
Muñoz, José Márquez, Ramiro |
dc.contributor.author.spa.fl_str_mv |
Muñoz, José Márquez, Ramiro |
dc.subject.proposal.spa.fl_str_mv |
Cálculo proposicional localización temporal completitud validez. |
topic |
Cálculo proposicional localización temporal completitud validez. |
description |
El objeto del estudio del cálculo proposicional con localizacióntemporal lo constituyen las afirmaciones cuya veracidad depende del momento en el cual se afirman. Por ello se introduce el “operador Rt de realización temporal” para expresar “en el instante t se realiza \phi” mediante“Rt(\phi)”. Se construye un cálculo proposicional incluyendo el símbolo Rt y permitiendo cuantificar las variables temporales, con axiomas y reglas deductivas específicas, el cual con respecto a una clase adecuada de estructuras,resulta ser válido y completo. La prueba de completitud sehace mostrando que vía una traducción adecuada, este cálculo proposicional con localización temporal resulta sorpresivamente ser en cierta forma equivalente al cálculo de predicados monádicos con igualdad. |
publishDate |
2002 |
dc.date.issued.spa.fl_str_mv |
2002 |
dc.date.accessioned.spa.fl_str_mv |
2019-07-03T16:25:54Z |
dc.date.available.spa.fl_str_mv |
2019-07-03T16:25:54Z |
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/73495 |
dc.identifier.eprints.spa.fl_str_mv |
http://bdigital.unal.edu.co/37971/ |
url |
https://repositorio.unal.edu.co/handle/unal/73495 http://bdigital.unal.edu.co/37971/ |
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/40233 |
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. 9, núm. 2 (2002); 53-66 Boletín de Matemáticas; Vol. 9, núm. 2 (2002); 53-66 2357-6529 0120-0380 |
dc.relation.references.spa.fl_str_mv |
Muñoz, José and Márquez, Ramiro (2002) Estudio de un cálculo proposicional con localización temporal. Boletín de Matemáticas; Vol. 9, núm. 2 (2002); 53-66 Boletín de Matemáticas; Vol. 9, núm. 2 (2002); 53-66 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/73495/1/40233-180502-1-PB.pdf https://repositorio.unal.edu.co/bitstream/unal/73495/2/40233-180502-1-PB.pdf.jpg |
bitstream.checksum.fl_str_mv |
cd43cbc736a4405ca6f56e6f84f7b815 8f9eb2c2d1f06eeffa78630eec0dc25f |
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_ |
1814090244580966400 |