Categorías intermedias, relaciones y residuación
Cargando...
Autores
Director
Tipo de contenido
Editor
Document language:
Español
Fecha
Título de la revista
ISSN de la revista
Título del volumen
Documentos PDF
Resumen
Exploramos la interpretación de las relaciones dentro de las categorías intermedias entre las categorias cartesianas y los logoi de Freyd, y estudiamos su conexión con las lógicas intermedias, principalmente con la intuicionista de primer orden. Con dichas herramientas mostramos una prueba alternativa del teorema de completitud para la lógica intuicionista. Finalmente anexamos una aplicación a la lógica de haces de Caicedo (Texto tomado de la fuente).
Abstract
We explore the interpretation of relations in the intermediate categories between the cartesian categories and the logoi of Freyd, and we study its conection with
intermediate logics, mainly with the intuitionistic first order logic. With this tools we
show an alternative proof of the intuitionistic logic completeness. Finally we study an
aplication to Caicedo’s logic of sheaves.