Show simple item record

dc.creatorMuñoz, José
dc.creatorMárquez, Ramiro
dc.date.accessioned2019-07-03T16:25:54Z
dc.date.available2019-07-03T16:25:54Z
dc.date.created2002
dc.identifier.urihttps://repositorio.unal.edu.co/handle/unal/73495
dc.descriptionEl 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.
dc.formatapplication/pdf
dc.publisherBoletín de Matemáticas
dc.relationhttp://revistas.unal.edu.co/index.php/bolma/article/view/40233
dc.relation.ispartofUniversidad Nacional de Colombia Revistas electrónicas UN Boletín de Matemáticas
dc.relation.ispartofBoletín de Matemáticas
dc.relation.ispartofseriesBoletí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.subjectCálculo proposicional
dc.subjectlocalización temporal
dc.subjectcompletitud
dc.subjectvalidez.
dc.titleEstudio de un cálculo proposicional con localización temporal
dc.typeinfo:eu-repo/semantics/article
dc.type.spaArtículo - Article
dc.type.hasversioninfo:eu-repo/semantics/publishedVersion
dc.rights.accessRightsinfo:eu-repo/semantics/openAccess
dc.identifier.bibliographicCitationMuñ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.identifier.eprintshttp://bdigital.unal.edu.co/37971/


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record