Browsing by Author "Caicedo, Xavier"

Now showing 1 - 1 of 1
  • No Thumbnail Available
    Publication
    El tiempo en la lógica y en la teoría de conjuntos
    (Universidad Nacional de Colombia, 2000-03-21) Muñoz, José M .; Caicedo, Xavier
    En el desarrollo del proyecto se propusieron los siguientes objetivos: 1. Utilizando la lógica clásica pero interpretando los conjuntos cambiantes con el tiempo como funciones , analizar las propiedades de ciertos universos formados por ellas, los cuales poseen estructuras de gran riqueza . 2. Establecer relaciones entre las lógicas anteriores y la lógica intuicionista , utilizando sobre todo como puente los espacios fibrados y los modelos de Kripke .