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 |