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