Browsing by Author "Caicedo Ferrer, Xavier"

Now showing 1 - 1 of 1
  • Thumbnail Image
    Publication
    El tiempo en la lógica y en la teoría de conjuntos fase II
    (Universidad Nacional de Colombia, 1995) Muñoz Quevedo, José María; Caicedo Ferrer, Xavier
    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.