Publicado
2008-01-01
LÓGICAS Y CATEGORÍAS INTERMEDIAS
Palabras clave:
Lógica intermedia, álgebras de Heyting, alegorías de Freyd, topos. (es)Descargas
En el interior de cada topos existe una lógica intermedia natural
definida 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.
Visitas a la página del resumen del artículo
522
Descargas
Los datos de descarga aún no están disponibles.
Cómo citar
Santamaría, F. M. (2008). LÓGICAS Y CATEGORÍAS INTERMEDIAS. Boletín De Matemáticas, 15(1), 56-69. https://revistas.unal.edu.co/index.php/bolma/article/view/40470
Licencia
Derechos de autor 2008 Boletín de Matemáticas
Esta obra está bajo una licencia internacional Creative Commons Atribución 4.0.
