Mostrar el registro sencillo del documento

Lógicas y categorías intermedias

dc.rights.licenseAtribución-NoComercial 4.0 Internacional
dc.contributor.authorSantamaría, Fanny Milena
dc.date.accessioned2019-07-03T16:36:16Z
dc.date.available2019-07-03T16:36:16Z
dc.date.issued2008
dc.identifier.urihttps://repositorio.unal.edu.co/handle/unal/73623
dc.description.abstractEn el interior de cada topos existe una lógica intermedia naturaldefinida por las clases de álgebras de Heyting y esas álgebras determinan cada logica intermedia. La construccion de las alegorías de Freyd es la que materializa el puente entre lógicas intermedias y topos [F-S]. En este documento se expone la manera de encontrar el topos que modele una lógica intermedia, en particular, la modelización de la lógica de G�ödel.
dc.format.mimetypeapplication/pdf
dc.language.isospa
dc.publisherBoletín de Matemáticas
dc.relationhttp://revistas.unal.edu.co/index.php/bolma/article/view/40470
dc.relation.ispartofUniversidad Nacional de Colombia Revistas electrónicas UN Boletín de Matemáticas
dc.relation.ispartofBoletín de Matemáticas
dc.relation.ispartofseriesBoletín de Matemáticas; Vol. 15, núm. 1 (2008); 56-69 Boletín de Matemáticas; Vol. 15, núm. 1 (2008); 56-69 2357-6529 0120-0380
dc.rightsDerechos reservados - Universidad Nacional de Colombia
dc.rights.urihttp://creativecommons.org/licenses/by-nc/4.0/
dc.titleLógicas y categorías intermedias
dc.typeArtículo de revista
dc.type.driverinfo:eu-repo/semantics/article
dc.type.versioninfo:eu-repo/semantics/publishedVersion
dc.identifier.eprintshttp://bdigital.unal.edu.co/38099/
dc.relation.referencesSantamaría, Fanny Milena (2008) Lógicas y categorías intermedias. Boletín de Matemáticas; Vol. 15, núm. 1 (2008); 56-69 Boletín de Matemáticas; Vol. 15, núm. 1 (2008); 56-69 2357-6529 0120-0380 .
dc.rights.accessrightsinfo:eu-repo/semantics/openAccess
dc.subject.proposalálgebras de Heyting
dc.subject.proposalalegorías de Freyd
dc.subject.proposaltopos.
dc.type.coarhttp://purl.org/coar/resource_type/c_6501
dc.type.coarversionhttp://purl.org/coar/version/c_970fb48d4fbd8a85
dc.type.contentText
dc.type.redcolhttp://purl.org/redcol/resource_type/ART
oaire.accessrightshttp://purl.org/coar/access_right/c_abf2


Archivos en el documento

Thumbnail
Nombre:
40470-182013-1-PB.pdf
Tamaño:
175.3Kb
Formato:
PDF
Descargar

Este documento aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro sencillo del documento

Atribución-NoComercial 4.0 InternacionalEsta obra está bajo licencia internacional Creative Commons Reconocimiento-NoComercial 4.0.Este documento ha sido depositado por parte de el(los) autor(es) bajo la siguiente constancia de depósito