Correo Electrónico
DNINFOA - SIA
Bibliotecas
Convocatorias
Identidad U.N.
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.
Cómo citar
APA
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
ACM
[1]
Santamaría, F.M. 2008. LÓGICAS Y CATEGORÍAS INTERMEDIAS. Boletín de Matemáticas. 15, 1 (ene. 2008), 56–69.
ACS
(1)
Santamaría, F. M. LÓGICAS Y CATEGORÍAS INTERMEDIAS. Bol. Matemáticas 2008, 15, 56-69.
ABNT
SANTAMARÍA, F. M. LÓGICAS Y CATEGORÍAS INTERMEDIAS. Boletín de Matemáticas, [S. l.], v. 15, n. 1, p. 56–69, 2008. Disponível em: https://revistas.unal.edu.co/index.php/bolma/article/view/40470. Acesso em: 28 dic. 2025.
Chicago
Santamaría, Fanny Milena. 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.
Harvard
Santamaría, F. M. (2008) «LÓGICAS Y CATEGORÍAS INTERMEDIAS», Boletín de Matemáticas, 15(1), pp. 56–69. Disponible en: https://revistas.unal.edu.co/index.php/bolma/article/view/40470 (Accedido: 28 diciembre 2025).
IEEE
[1]
F. M. Santamaría, «LÓGICAS Y CATEGORÍAS INTERMEDIAS», Bol. Matemáticas, vol. 15, n.º 1, pp. 56–69, ene. 2008.
MLA
Santamaría, F. M. «LÓGICAS Y CATEGORÍAS INTERMEDIAS». Boletín de Matemáticas, vol. 15, n.º 1, enero de 2008, pp. 56-69, https://revistas.unal.edu.co/index.php/bolma/article/view/40470.
Turabian
Santamaría, Fanny Milena. «LÓGICAS Y CATEGORÍAS INTERMEDIAS». Boletín de Matemáticas 15, no. 1 (enero 1, 2008): 56–69. Accedido diciembre 28, 2025. https://revistas.unal.edu.co/index.php/bolma/article/view/40470.
Vancouver
1.
Santamaría FM. LÓGICAS Y CATEGORÍAS INTERMEDIAS. Bol. Matemáticas [Internet]. 1 de enero de 2008 [citado 28 de diciembre de 2025];15(1):56-69. Disponible en: https://revistas.unal.edu.co/index.php/bolma/article/view/40470
Descargar cita
Visitas a la página del resumen del artículo
464
Descargas
Los datos de descargas todavía no están disponibles.
Licencia
Derechos de autor 2008 Boletín de Matemáticas
Esta obra está bajo una licencia internacional Creative Commons Atribución 4.0.
