Muñoz, José M .Caicedo, Xavier2024-01-272024-01-272000-03-21https://repositorio.minciencias.gov.co/handle/20.500.14143/504571 documentoEn 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 .39 p.application/pdfspaInforme de investigaciónTeoría de conjuntosMatemáticas -- InvestigacionesProyectos de investigaciónLógicainfo:eu-repo/semantics/openAccessAtribución 4.0 Internacional (CC BY 4.0)