Propiedades lógicas del clasificador de subobjetos en un topos
Authors
Arengas Reines, Gustavo Eduardo
Director
Zalamea Traba, Fernando
Content type
Trabajo de grado - Maestría
Publication date
2014
Journal Title
Journal ISSN
Volume Title
PDF documents
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
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.