Sagastume, Marta (2009). Conectivos intuicionistas. Revista de Educación Matemática , 24(3), pp. 3-21 .
| PDF - Versión Publicada Disponible bajo la licencia Creative Commons No Comercial Sin Derivar. 186Kb |
URL Oficial: https://revistas.unc.edu.ar/index.php/REM
Resumen
Lo que sigue es un resumen de la conferencia dictada en la reunión de la Unión Matemática Argentina realizada en Mendoza en septiembre de 2008. El objetivo principal de esta charla fue hacer una breve historia del concepto de conectivo intuicionista poniendo en claro sus motivaciones, la relación existente entre las diversas formas de definirlo y sus posteriores generalizaciones. Suponemos conocidas las definiciones de reticulado y de álgebra de Heyting tal como figuran, por ejemplo, en [1]. También suponemos conocidos los conceptos básicos de teoría de categorías (ver, por ejemplo, [10]). En primer lugar, se mencionarán resultados sobre ciertas álgebras de Heyting (aquellas cuyo reticulado subyacente es generado por elementos completamente primos), se dará la definición de los llamados modelos de Kripke y se mostrará la relación existente entre unas y otros. A partir de allí analizaremos definiciones y ejemplos de conectivos: en primer lugar, tres definiciones equivalentes de conectivos intuicionistas basadas en la semántica de Kripke y luego la definición categorial de conectivos en topos, en particular en los de la forma SetP. Mostraremos la relación de esta definición con las anteriores. Por último, veremos el punto de vista algebraico del concepto de conectivo en álgebras de Heyting (función compatible) y su generalización a reticulados residuados conmutativos.
Tipo de Registro: | Artículo |
---|---|
Términos clave: | 06. Aprendizaje > Procesos cognitivos > Procesos de justificación 06. Aprendizaje > Procesos cognitivos > Pensamiento matemático 14. Matemáticas superiores > Algebra (matemáticas superiores) 14. Matemáticas superiores > Lógica matemática |
Nivel Educativo: | Formación Profesional |
Código ID: | 19051 |
Depositado Por: | Monitor Funes 5 |
Depositado En: | 18 Jul 2020 07:26 |
Fecha de Modificación Más Reciente: | 18 Jul 2020 07:26 |
Valoración: |
Personal del repositorio solamente: página de control del documento