Propiedades lógicas del clasificador de subobjetos en un topos
Cargando...
Archivos
Autores
Director
Tipo de contenido
Fecha
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.