Propiedades lógicas del clasificador de subobjetos en un topos

Abstract

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. 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.