Zalamea Traba, FernandoArengas Reines, Gustavo Eduardo2019-07-032019-07-032014https://repositorio.unal.edu.co/handle/unal/75159La 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.application/pdf51 Matemáticas / MathematicsTrabajo de grado - Maestríahttp://bdigital.unal.edu.co/39668/info:eu-repo/semantics/openAccessÁlgebra de HeytingToposConectivos nuevosBi-IntucionismoLógica modalHeyting algebraNew connectivesBi-IntuitionismModal logic