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

Muñoz Quevedo, José María; Caicedo Ferrer,  Xavier

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

dc.contributor.author	Muñoz Quevedo, José María
dc.contributor.author	Caicedo Ferrer, Xavier
dc.date.accessioned	2024-02-04T17:11:17Z
dc.date.available	2024-02-04T17:11:17Z
dc.date.issued	1995
dc.description	1 documento, 3 revistas	spa
dc.description.abstract	Debido 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.	spa
dc.format.extent	4 vol.
dc.format.mimetype	application/pdf
dc.identifier.uri	https://repositorio.minciencias.gov.co/handle/20.500.14143/50584
dc.language.iso	spa
dc.publisher	Universidad Nacional de Colombia
dc.publisher	Colciencias
dc.publisher.place	Bogotá
dc.rights.accessrights	info:eu-repo/semantics/openAccess
dc.rights.creativecommons	Atribución 4.0 Internacional (CC BY 4.0)
dc.rights.uri	https://creativecommons.org/licenses/by/4.0/
dc.subject.lemb	Proyectos de investigación
dc.subject.lemb	Teoría de conjuntos
dc.subject.lemb	Lógica
dc.subject.lemb	Matemáticas -- Investigaciones
dc.subject.lemb	Cálculo -- Investigaciones
dc.title	El tiempo en la lógica y en la teoría de conjuntos fase II
dc.type	Informe de investigación
dc.type.coar	http://purl.org/coar/resource_type/c_18ws
dc.type.content	Text
dc.type.driver	info:eu-repo/semantics/report
dc.type.redcol	http://purl.org/redcol/resource_type/INF
dc.type.version	info:eu-repo/semantics/publishedVersion
dcterms.audience	Estudiantes, Profesores, Comunidad científica Colombiana, etc.	spa
dspace.entity.type	Publication
oaire.accessrights	http://purl.org/coar/access_right/c_abf2
oaire.awardnumber	11010530592
oaire.awardtitle	El tiempo en la lógica y en la teoría de conjuntos fase II
oaire.funderidentifier.colciencias	193-93
oaire.fundername	Departamento Administrativo de Ciencia, Tecnología e Innovación [CO] Colciencias
oaire.version	http://purl.org/coar/version/c_970fb48d4fbd8a85