Lógicas y categorías intermedias

En 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 e...

Full description

Autores:
Santamaría, Fanny Milena
Tipo de recurso:
Article of journal
Fecha de publicación:
2008
Institución:
Universidad Nacional de Colombia
Repositorio:
Universidad Nacional de Colombia
Idioma:
spa
OAI Identifier:
oai:repositorio.unal.edu.co:unal/73623
Acceso en línea:
https://repositorio.unal.edu.co/handle/unal/73623
http://bdigital.unal.edu.co/38099/
Palabra clave:
álgebras de Heyting
alegorías de Freyd
topos.
Rights
openAccess
License
Atribución-NoComercial 4.0 Internacional
id UNACIONAL2_db243b30e8ca939ed48abe1e8b167d3f
oai_identifier_str oai:repositorio.unal.edu.co:unal/73623
network_acronym_str UNACIONAL2
network_name_str Universidad Nacional de Colombia
repository_id_str
spelling Atribución-NoComercial 4.0 InternacionalDerechos reservados - Universidad Nacional de Colombiahttp://creativecommons.org/licenses/by-nc/4.0/info:eu-repo/semantics/openAccesshttp://purl.org/coar/access_right/c_abf2Santamaría, Fanny Milenaddc8cdc0-ddf6-4b02-9962-4a184e6c961d3002019-07-03T16:36:16Z2019-07-03T16:36:16Z2008https://repositorio.unal.edu.co/handle/unal/73623http://bdigital.unal.edu.co/38099/En 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.application/pdfspaBoletín de Matemáticashttp://revistas.unal.edu.co/index.php/bolma/article/view/40470Universidad Nacional de Colombia Revistas electrónicas UN Boletín de MatemáticasBoletín de MatemáticasBoletí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-0380Santamarí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 .Lógicas y categorías intermediasArtículo de revistainfo:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501http://purl.org/coar/resource_type/c_2df8fbb1http://purl.org/coar/version/c_970fb48d4fbd8a85Texthttp://purl.org/redcol/resource_type/ARTálgebras de Heytingalegorías de Freydtopos.ORIGINAL40470-182013-1-PB.pdfapplication/pdf179535https://repositorio.unal.edu.co/bitstream/unal/73623/1/40470-182013-1-PB.pdf10327290e1e94cd1381f43470008778bMD51THUMBNAIL40470-182013-1-PB.pdf.jpg40470-182013-1-PB.pdf.jpgGenerated Thumbnailimage/jpeg4943https://repositorio.unal.edu.co/bitstream/unal/73623/2/40470-182013-1-PB.pdf.jpga3fcca2a1277e7deec85e16ee8592535MD52unal/73623oai:repositorio.unal.edu.co:unal/736232023-06-29 23:04:08.687Repositorio Institucional Universidad Nacional de Colombiarepositorio_nal@unal.edu.co
dc.title.spa.fl_str_mv Lógicas y categorías intermedias
title Lógicas y categorías intermedias
spellingShingle Lógicas y categorías intermedias
álgebras de Heyting
alegorías de Freyd
topos.
title_short Lógicas y categorías intermedias
title_full Lógicas y categorías intermedias
title_fullStr Lógicas y categorías intermedias
title_full_unstemmed Lógicas y categorías intermedias
title_sort Lógicas y categorías intermedias
dc.creator.fl_str_mv Santamaría, Fanny Milena
dc.contributor.author.spa.fl_str_mv Santamaría, Fanny Milena
dc.subject.proposal.spa.fl_str_mv álgebras de Heyting
alegorías de Freyd
topos.
topic álgebras de Heyting
alegorías de Freyd
topos.
description En 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.
publishDate 2008
dc.date.issued.spa.fl_str_mv 2008
dc.date.accessioned.spa.fl_str_mv 2019-07-03T16:36:16Z
dc.date.available.spa.fl_str_mv 2019-07-03T16:36:16Z
dc.type.spa.fl_str_mv Artículo de revista
dc.type.coar.fl_str_mv http://purl.org/coar/resource_type/c_2df8fbb1
dc.type.driver.spa.fl_str_mv info:eu-repo/semantics/article
dc.type.version.spa.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.coar.spa.fl_str_mv http://purl.org/coar/resource_type/c_6501
dc.type.coarversion.spa.fl_str_mv http://purl.org/coar/version/c_970fb48d4fbd8a85
dc.type.content.spa.fl_str_mv Text
dc.type.redcol.spa.fl_str_mv http://purl.org/redcol/resource_type/ART
format http://purl.org/coar/resource_type/c_6501
status_str publishedVersion
dc.identifier.uri.none.fl_str_mv https://repositorio.unal.edu.co/handle/unal/73623
dc.identifier.eprints.spa.fl_str_mv http://bdigital.unal.edu.co/38099/
url https://repositorio.unal.edu.co/handle/unal/73623
http://bdigital.unal.edu.co/38099/
dc.language.iso.spa.fl_str_mv spa
language spa
dc.relation.spa.fl_str_mv http://revistas.unal.edu.co/index.php/bolma/article/view/40470
dc.relation.ispartof.spa.fl_str_mv Universidad Nacional de Colombia Revistas electrónicas UN Boletín de Matemáticas
Boletín de Matemáticas
dc.relation.ispartofseries.none.fl_str_mv 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.relation.references.spa.fl_str_mv Santamarí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.spa.fl_str_mv Derechos reservados - Universidad Nacional de Colombia
dc.rights.coar.fl_str_mv http://purl.org/coar/access_right/c_abf2
dc.rights.license.spa.fl_str_mv Atribución-NoComercial 4.0 Internacional
dc.rights.uri.spa.fl_str_mv http://creativecommons.org/licenses/by-nc/4.0/
dc.rights.accessrights.spa.fl_str_mv info:eu-repo/semantics/openAccess
rights_invalid_str_mv Atribución-NoComercial 4.0 Internacional
Derechos reservados - Universidad Nacional de Colombia
http://creativecommons.org/licenses/by-nc/4.0/
http://purl.org/coar/access_right/c_abf2
eu_rights_str_mv openAccess
dc.format.mimetype.spa.fl_str_mv application/pdf
dc.publisher.spa.fl_str_mv Boletín de Matemáticas
institution Universidad Nacional de Colombia
bitstream.url.fl_str_mv https://repositorio.unal.edu.co/bitstream/unal/73623/1/40470-182013-1-PB.pdf
https://repositorio.unal.edu.co/bitstream/unal/73623/2/40470-182013-1-PB.pdf.jpg
bitstream.checksum.fl_str_mv 10327290e1e94cd1381f43470008778b
a3fcca2a1277e7deec85e16ee8592535
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
repository.name.fl_str_mv Repositorio Institucional Universidad Nacional de Colombia
repository.mail.fl_str_mv repositorio_nal@unal.edu.co
_version_ 1814089615746793472

Publicaciones similares