Publication: El tiempo en la lógica y en la teoría de conjuntos
No Thumbnail Available
Date
2000-03-21
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Universidad Nacional de Colombia
Colciencias
Colciencias
Abstract
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 .
Description
1 documento