Lógicas y categorías intermedias
Autor
Tipo de contenido
Artículo de revista
Idioma del documento
EspañolFecha de publicación
2008Resumen
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.Palabras clave
Colecciones
- Boletín de Matemáticas [688]
Esta 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