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

Full description

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