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