Publicado
2003-07-01
UNA CONTRIBUCIÓN A LA TEORÍA DE MODELOS DE KRIPKE PARA EL INTUICIONISMO
Palabras clave:
prehaces, lógica intuicionista, forzamiento. (es)Descargas
Se estudia la semántica de Kripke para la lógica intuicionista.
En primer lugar se encuentra una amplia clase de órdenes para los cuales el teorema sobre la existencia de modelos de Kripke de teorías intuicionistas consistentes es válido. Mediante una codificación de prehaces como estructuras
clásicas se demuestra un teorema tipo Lowenheim-Skolem descendente y un teorema tipo Lowenheim-Skolem ascendente. Finalmente se introduce una construcción de ultraproductos para prehaces, se estudian sus propiedades elementales y se utilizan para probar algunos resultados parciales acerca de axiomatizabilidad de clases de prehaces.
Cómo citar
APA
Montoya, J. A. (2003). UNA CONTRIBUCIÓN A LA TEORÍA DE MODELOS DE KRIPKE PARA EL INTUICIONISMO. Boletín de Matemáticas, 10(2), 92–109. https://revistas.unal.edu.co/index.php/bolma/article/view/40280
ACM
[1]
Montoya, J.A. 2003. UNA CONTRIBUCIÓN A LA TEORÍA DE MODELOS DE KRIPKE PARA EL INTUICIONISMO. Boletín de Matemáticas. 10, 2 (jul. 2003), 92–109.
ACS
(1)
Montoya, J. A. UNA CONTRIBUCIÓN A LA TEORÍA DE MODELOS DE KRIPKE PARA EL INTUICIONISMO. Bol. Mat. 2003, 10, 92-109.
ABNT
MONTOYA, J. A. UNA CONTRIBUCIÓN A LA TEORÍA DE MODELOS DE KRIPKE PARA EL INTUICIONISMO. Boletín de Matemáticas, [S. l.], v. 10, n. 2, p. 92–109, 2003. Disponível em: https://revistas.unal.edu.co/index.php/bolma/article/view/40280. Acesso em: 20 abr. 2024.
Chicago
Montoya, Juan Andrés. 2003. «UNA CONTRIBUCIÓN A LA TEORÍA DE MODELOS DE KRIPKE PARA EL INTUICIONISMO». Boletín De Matemáticas 10 (2):92-109. https://revistas.unal.edu.co/index.php/bolma/article/view/40280.
Harvard
Montoya, J. A. (2003) «UNA CONTRIBUCIÓN A LA TEORÍA DE MODELOS DE KRIPKE PARA EL INTUICIONISMO», Boletín de Matemáticas, 10(2), pp. 92–109. Disponible en: https://revistas.unal.edu.co/index.php/bolma/article/view/40280 (Accedido: 20 abril 2024).
IEEE
[1]
J. A. Montoya, «UNA CONTRIBUCIÓN A LA TEORÍA DE MODELOS DE KRIPKE PARA EL INTUICIONISMO», Bol. Mat., vol. 10, n.º 2, pp. 92–109, jul. 2003.
MLA
Montoya, J. A. «UNA CONTRIBUCIÓN A LA TEORÍA DE MODELOS DE KRIPKE PARA EL INTUICIONISMO». Boletín de Matemáticas, vol. 10, n.º 2, julio de 2003, pp. 92-109, https://revistas.unal.edu.co/index.php/bolma/article/view/40280.
Turabian
Montoya, Juan Andrés. «UNA CONTRIBUCIÓN A LA TEORÍA DE MODELOS DE KRIPKE PARA EL INTUICIONISMO». Boletín de Matemáticas 10, no. 2 (julio 1, 2003): 92–109. Accedido abril 20, 2024. https://revistas.unal.edu.co/index.php/bolma/article/view/40280.
Vancouver
1.
Montoya JA. UNA CONTRIBUCIÓN A LA TEORÍA DE MODELOS DE KRIPKE PARA EL INTUICIONISMO. Bol. Mat. [Internet]. 1 de julio de 2003 [citado 20 de abril de 2024];10(2):92-109. Disponible en: https://revistas.unal.edu.co/index.php/bolma/article/view/40280
Descargar cita
Visitas a la página del resumen del artículo
378
Descargas
Los datos de descargas todavía no están disponibles.
Licencia
Derechos de autor 2003 Boletín de Matemáticas
Esta obra está bajo una licencia internacional Creative Commons Atribución 4.0.