El tiempo en la lógica y en la teoría de conjuntos fase II

1 documento, 3 revistas

Autores:
Muñoz Quevedo, José María
Caicedo Ferrer, Xavier
Tipo de recurso:
Investigation report
Fecha de publicación:
1995
Institución:
Ministerio de Ciencia, Tecnología e Innovación
Repositorio:
Repositorio Minciencias
Idioma:
spa
OAI Identifier:
oai:repositorio.minciencias.gov.co:20.500.14143/50584
Acceso en línea:
https://repositorio.minciencias.gov.co/handle/20.500.14143/50584
Palabra clave:
Proyectos de investigación
Teoría de conjuntos
Lógica
Matemáticas -- Investigaciones
Cálculo -- Investigaciones
Rights
openAccess
License
https://creativecommons.org/licenses/by/4.0/
id RCENDOC_ddaef5a3f63cfb4ed8558ccea6eb08c8
oai_identifier_str oai:repositorio.minciencias.gov.co:20.500.14143/50584
network_acronym_str RCENDOC
network_name_str Repositorio Minciencias
repository_id_str
spelling Muñoz Quevedo, José MaríaCaicedo Ferrer, Xavier2024-02-04T17:11:17Z2024-02-04T17:11:17Z1995https://repositorio.minciencias.gov.co/handle/20.500.14143/505841 documento, 3 revistasDebido a que muchos de los resultados y reglas deductivas válidas en el cálculo proposicional temporal previamente construido (en la fase I del proyecto), resultaron no ser válidas en el caso del cálculo predicativo temporal cuando se le dota de una semántica de Kripke con universos crecientes con el paso del tiempo, y teniendo en cuenta que este fenómeno posee cierta relevancia y no había sido reportado en la literatura matemática, el investigador principal trabajó en él, hallando finalmente la forma como pueden modificarse ciertas reglas deductivas y ciertos esquemas modales, para que sean válidos en toda su generalidad muchos de los resultados usuales de los sistemas modales. La solución de este problema se presentó en el X Simposio Latinoamericano de Lógica Matemática celebrado en Bogotá del 22 al 29 de julio de 1995 con el título "Esquemas modales en universos ' crecientes". Su resumen apareció en junio de 1966 en el "Bulletin of Symbolic Logic". Su texto en forma de artículo para especialistas en el tema se envió a la revista "Studia Logica, de Polonia; una versión ampliada y detallada para que sea fácilmente comprendida inclusive por los no expertos en el tema, se publicó en la revista "Matemática, Enseñanza Universitaria" en el volumen VI, No. 1, de 1997.4 vol.application/pdfspaUniversidad Nacional de ColombiaColcienciasBogotáhttps://creativecommons.org/licenses/by/4.0/info:eu-repo/semantics/openAccessAtribución 4.0 Internacional (CC BY 4.0)http://purl.org/coar/access_right/c_abf2El tiempo en la lógica y en la teoría de conjuntos fase IIInforme de investigaciónhttp://purl.org/coar/resource_type/c_18wshttp://purl.org/coar/resource_type/c_18ghhttp://purl.org/coar/resource_type/c_93fcTextinfo:eu-repo/semantics/reporthttp://purl.org/redcol/resource_type/INFinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/version/c_970fb48d4fbd8a85Proyectos de investigaciónTeoría de conjuntosLógicaMatemáticas -- InvestigacionesCálculo -- InvestigacionesEstudiantes, Profesores, Comunidad científica Colombiana, etc.11010530592El tiempo en la lógica y en la teoría de conjuntos fase II193-93Departamento Administrativo de Ciencia, Tecnología e Innovación [CO] ColcienciasPublicationLICENSElicense.txtlicense.txttext/plain; charset=utf-815543https://repositorio.minciencias.gov.co/bitstreams/b6a0ce7b-2192-43b0-bd5a-9211cc6e61ac/download73a5432e0b76442b22b026844140d683MD51ORIGINAL1101-05-305-92 INFORME FINAL.pdf1101-05-305-92 INFORME FINAL.pdfapplication/pdf19930640https://repositorio.minciencias.gov.co/bitstreams/89437c0e-4685-4740-a43a-f49ec283fd34/download0639df7a1977d1dafbed6e867e772e93MD521101-05-305-92.pdf1101-05-305-92.pdfapplication/pdf8099476https://repositorio.minciencias.gov.co/bitstreams/c4a611cc-f2c2-4ae3-a565-819445237366/download04ccdbd45a9baadbd7533bff681ce1f1MD531101-05-305-92-V1.pdf1101-05-305-92-V1.pdfapplication/pdf12664791https://repositorio.minciencias.gov.co/bitstreams/53047201-76c5-427f-b072-eb92fde94027/downloadafe89fa3320cc347221863e635c4c824MD541101-05-305-92-V2.pdf1101-05-305-92-V2.pdfapplication/pdf8688324https://repositorio.minciencias.gov.co/bitstreams/26071ea0-f8e3-4c2a-9cfa-e79f611d5795/download964ef65f15d56ed7df75d2638cfffeceMD5520.500.14143/50584oai:repositorio.minciencias.gov.co:20.500.14143/505842024-02-04 17:11:18.945https://creativecommons.org/licenses/by/4.0/restrictedhttps://repositorio.minciencias.gov.coRepositorio Institucional de Mincienciascendoc@minciencias.gov.co
dc.title.none.fl_str_mv El tiempo en la lógica y en la teoría de conjuntos fase II
title El tiempo en la lógica y en la teoría de conjuntos fase II
spellingShingle El tiempo en la lógica y en la teoría de conjuntos fase II
Proyectos de investigación
Teoría de conjuntos
Lógica
Matemáticas -- Investigaciones
Cálculo -- Investigaciones
title_short El tiempo en la lógica y en la teoría de conjuntos fase II
title_full El tiempo en la lógica y en la teoría de conjuntos fase II
title_fullStr El tiempo en la lógica y en la teoría de conjuntos fase II
title_full_unstemmed El tiempo en la lógica y en la teoría de conjuntos fase II
title_sort El tiempo en la lógica y en la teoría de conjuntos fase II
dc.creator.fl_str_mv Muñoz Quevedo, José María
Caicedo Ferrer, Xavier
dc.contributor.author.none.fl_str_mv Muñoz Quevedo, José María
Caicedo Ferrer, Xavier
dc.subject.lemb.none.fl_str_mv Proyectos de investigación
Teoría de conjuntos
Lógica
Matemáticas -- Investigaciones
Cálculo -- Investigaciones
topic Proyectos de investigación
Teoría de conjuntos
Lógica
Matemáticas -- Investigaciones
Cálculo -- Investigaciones
description 1 documento, 3 revistas
publishDate 1995
dc.date.issued.none.fl_str_mv 1995
dc.date.accessioned.none.fl_str_mv 2024-02-04T17:11:17Z
dc.date.available.none.fl_str_mv 2024-02-04T17:11:17Z
dc.type.none.fl_str_mv Informe de investigación
dc.type.coar.fl_str_mv http://purl.org/coar/resource_type/c_18gh
http://purl.org/coar/resource_type/c_93fc
dc.type.coarversion.fl_str_mv http://purl.org/coar/version/c_970fb48d4fbd8a85
dc.type.coar.none.fl_str_mv http://purl.org/coar/resource_type/c_18ws
dc.type.content.none.fl_str_mv Text
dc.type.driver.none.fl_str_mv info:eu-repo/semantics/report
dc.type.redcol.none.fl_str_mv http://purl.org/redcol/resource_type/INF
dc.type.version.none.fl_str_mv info:eu-repo/semantics/publishedVersion
format http://purl.org/coar/resource_type/c_18ws
status_str publishedVersion
dc.identifier.uri.none.fl_str_mv https://repositorio.minciencias.gov.co/handle/20.500.14143/50584
url https://repositorio.minciencias.gov.co/handle/20.500.14143/50584
dc.language.iso.none.fl_str_mv spa
language spa
dc.rights.coar.fl_str_mv http://purl.org/coar/access_right/c_abf2
dc.rights.uri.none.fl_str_mv https://creativecommons.org/licenses/by/4.0/
dc.rights.accessrights.none.fl_str_mv info:eu-repo/semantics/openAccess
dc.rights.creativecommons.none.fl_str_mv Atribución 4.0 Internacional (CC BY 4.0)
rights_invalid_str_mv https://creativecommons.org/licenses/by/4.0/
Atribución 4.0 Internacional (CC BY 4.0)
http://purl.org/coar/access_right/c_abf2
eu_rights_str_mv openAccess
dc.format.extent.none.fl_str_mv 4 vol.
dc.format.mimetype.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universidad Nacional de Colombia
Colciencias
dc.publisher.place.none.fl_str_mv Bogotá
publisher.none.fl_str_mv Universidad Nacional de Colombia
Colciencias
institution Ministerio de Ciencia, Tecnología e Innovación
bitstream.url.fl_str_mv https://repositorio.minciencias.gov.co/bitstreams/b6a0ce7b-2192-43b0-bd5a-9211cc6e61ac/download
https://repositorio.minciencias.gov.co/bitstreams/89437c0e-4685-4740-a43a-f49ec283fd34/download
https://repositorio.minciencias.gov.co/bitstreams/c4a611cc-f2c2-4ae3-a565-819445237366/download
https://repositorio.minciencias.gov.co/bitstreams/53047201-76c5-427f-b072-eb92fde94027/download
https://repositorio.minciencias.gov.co/bitstreams/26071ea0-f8e3-4c2a-9cfa-e79f611d5795/download
bitstream.checksum.fl_str_mv 73a5432e0b76442b22b026844140d683
0639df7a1977d1dafbed6e867e772e93
04ccdbd45a9baadbd7533bff681ce1f1
afe89fa3320cc347221863e635c4c824
964ef65f15d56ed7df75d2638cfffece
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
MD5
MD5
repository.name.fl_str_mv Repositorio Institucional de Minciencias
repository.mail.fl_str_mv cendoc@minciencias.gov.co
_version_ 1811305901931364352