Propiedades lógicas del clasificador de subobjetos en un topos
Archivos
Autores
Arengas Reines, Gustavo Eduardo
Director
Zalamea Traba, Fernando
Tipo de contenido
Trabajo de grado - Maestría
Fecha de publicación
2014
Título de la revista
ISSN de la revista
Título del volumen
Documentos PDF
Resumen
La presente tesis está dividida en tres partes: en la primera se estudia el problema de los conectivos nuevos en categorías de Heyting, generalizando algunos resultados conocidos; en las siguientes se trabajen dos casos concretos: el bi-intuicionismo y la lógica modal intuicionista. Para ambos sistemas se estudian teoremas de completitud y validez. (Texto tomado de la fuente)
Abstract
Abstract. This thesis consists of three parts: part one studies the new connectives problem in Heyting Categories, generalizing some known results; in the following two cases are worked: the biintuitionism and intuitionistic modal logic. For both systems theorems of completeness and soundness are discussed.