Un cálculo temporal de predicados de tipo modal

Se construye un cálculo predicativo temporal de tipo modal, referido solamente al pasado, con una semántica natural de estructuras con dominios crecientes con el tiempo. Se hallan esquemas y reglas válidas para esta semántica y con algunas de ellas se axiomatiza el sistema, desarrollándolo lo sufici...

Full description

Autores:
Muñoz Quevedo, José M.
Tipo de recurso:
Article of journal
Fecha de publicación:
1995
Institución:
Universidad Nacional de Colombia
Repositorio:
Universidad Nacional de Colombia
Idioma:
spa
OAI Identifier:
oai:repositorio.unal.edu.co:unal/31637
Acceso en línea:
https://repositorio.unal.edu.co/handle/unal/31637
http://bdigital.unal.edu.co/21716/
Palabra clave:
cálculo predicativo temporal de tipo modal
teoría de conjuntos
lógica temporal
Rights
openAccess
License
Atribución-NoComercial 4.0 Internacional
id UNACIONAL2_5a9441fb1585cfdb2a23d55e0fbacc3d
oai_identifier_str oai:repositorio.unal.edu.co:unal/31637
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:40:28Z2019-06-26T14:40:28Z1995https://repositorio.unal.edu.co/handle/unal/31637http://bdigital.unal.edu.co/21716/Se construye un cálculo predicativo temporal de tipo modal, referido solamente al pasado, con una semántica natural de estructuras con dominios crecientes con el tiempo. Se hallan esquemas y reglas válidas para esta semántica y con algunas de ellas se axiomatiza el sistema, desarrollándolo lo suficiente para que sirva como marco lógico sobre el cual pueda construirse en el futuro una teoría temporal de conjuntos.A first-order temporal calculus is constructed, with a natural semantics given by structures which grow with time. Rules and schemas of the calculus are developped to allow a temporal set theory based on it.application/pdfspaBoletín de Matemáticashttp://revistas.unal.edu.co/index.php/bolma/article/view/18222Universidad Nacional de Colombia Revistas electrónicas UN Boletín de MatemáticasBoletín de MatemáticasBoletín de Matemáticas; Vol. 2, núm. 2 (1995); 121-140 Boletín de Matemáticas; Vol. 2, núm. 2 (1995); 121-140 2357-6529 0120-0380Muñoz Quevedo, José M. (1995) Un cálculo temporal de predicados de tipo modal. Boletín de Matemáticas; Vol. 2, núm. 2 (1995); 121-140 Boletín de Matemáticas; Vol. 2, núm. 2 (1995); 121-140 2357-6529 0120-0380 .Un cálculo temporal de predicados de tipo modalArtí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 predicativo temporal de tipo modalteoría de conjuntoslógica temporalORIGINAL18222-58910-1-PB.pdfapplication/pdf2800708https://repositorio.unal.edu.co/bitstream/unal/31637/1/18222-58910-1-PB.pdf637ee4940c95cbf0cae7d28827deb2a4MD51THUMBNAIL18222-58910-1-PB.pdf.jpg18222-58910-1-PB.pdf.jpgGenerated Thumbnailimage/jpeg2267https://repositorio.unal.edu.co/bitstream/unal/31637/2/18222-58910-1-PB.pdf.jpgac44381d408bf633a03e8c1220e0dac7MD52unal/31637oai:repositorio.unal.edu.co:unal/316372023-12-02 23:06:39.593Repositorio Institucional Universidad Nacional de Colombiarepositorio_nal@unal.edu.co
dc.title.spa.fl_str_mv Un cálculo temporal de predicados de tipo modal
title Un cálculo temporal de predicados de tipo modal
spellingShingle Un cálculo temporal de predicados de tipo modal
cálculo predicativo temporal de tipo modal
teoría de conjuntos
lógica temporal
title_short Un cálculo temporal de predicados de tipo modal
title_full Un cálculo temporal de predicados de tipo modal
title_fullStr Un cálculo temporal de predicados de tipo modal
title_full_unstemmed Un cálculo temporal de predicados de tipo modal
title_sort Un cálculo temporal de predicados de tipo modal
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 cálculo predicativo temporal de tipo modal
teoría de conjuntos
lógica temporal
topic cálculo predicativo temporal de tipo modal
teoría de conjuntos
lógica temporal
description Se construye un cálculo predicativo temporal de tipo modal, referido solamente al pasado, con una semántica natural de estructuras con dominios crecientes con el tiempo. Se hallan esquemas y reglas válidas para esta semántica y con algunas de ellas se axiomatiza el sistema, desarrollándolo lo suficiente para que sirva como marco lógico sobre el cual pueda construirse en el futuro una teoría temporal de conjuntos.
publishDate 1995
dc.date.issued.spa.fl_str_mv 1995
dc.date.accessioned.spa.fl_str_mv 2019-06-26T14:40:28Z
dc.date.available.spa.fl_str_mv 2019-06-26T14:40:28Z
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/31637
dc.identifier.eprints.spa.fl_str_mv http://bdigital.unal.edu.co/21716/
url https://repositorio.unal.edu.co/handle/unal/31637
http://bdigital.unal.edu.co/21716/
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/18222
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. 2, núm. 2 (1995); 121-140 Boletín de Matemáticas; Vol. 2, núm. 2 (1995); 121-140 2357-6529 0120-0380
dc.relation.references.spa.fl_str_mv Muñoz Quevedo, José M. (1995) Un cálculo temporal de predicados de tipo modal. Boletín de Matemáticas; Vol. 2, núm. 2 (1995); 121-140 Boletín de Matemáticas; Vol. 2, núm. 2 (1995); 121-140 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/31637/1/18222-58910-1-PB.pdf
https://repositorio.unal.edu.co/bitstream/unal/31637/2/18222-58910-1-PB.pdf.jpg
bitstream.checksum.fl_str_mv 637ee4940c95cbf0cae7d28827deb2a4
ac44381d408bf633a03e8c1220e0dac7
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_ 1814089949134192640

Publicaciones similares