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

Muñoz, José M .; Caicedo, Xavier

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

dc.contributor.author	Muñoz, José M .
dc.contributor.author	Caicedo, Xavier
dc.date.accessioned	2024-01-27T14:09:20Z
dc.date.available	2024-01-27T14:09:20Z
dc.date.issued	2000-03-21
dc.description	1 documento
dc.description.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 .	spa
dc.format.extent	39 p.
dc.format.mimetype	application/pdf
dc.identifier.uri	https://repositorio.minciencias.gov.co/handle/20.500.14143/50457
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	Teoría de conjuntos
dc.subject.lemb	Matemáticas -- Investigaciones
dc.subject.lemb	Proyectos de investigación
dc.subject.lemb	Lógica
dc.title	El tiempo en la lógica y en la teoría de conjuntos
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.
dspace.entity.type	Publication
oaire.accessrights	http://purl.org/coar/access_right/c_abf2
oaire.awardnumber	11010522689
oaire.awardtitle	El tiempo en la lógica y en la teoría de conjuntos
oaire.funderidentifier.colciencias	062-91
oaire.fundername	Departamento Administrativo de Ciencia, Tecnología e Innovación [CO] Colciencias
oaire.version	http://purl.org/coar/version/c_970fb48d4fbd8a85