Atribución-NoComercial 4.0 InternacionalZalamea Traba, FernandoGutiérrez Chaparro, Javier Alberto2019-07-032019-07-032009-12https://repositorio.unal.edu.co/handle/unal/70393Presentamos ejemplos de álgebras de Heyting, co-Heyting y bi-Heyting y relaciones con las lógicas intuicionista, dual-intuicionista y bi-intuicionista. Estudiamos los operadores modales descritos en Reyes and Zolfaghari, 1996. Finalmente, indicamos una extensión de los teoremas de representación para álgebras de Heyting, Co-Heyting y bi-Heyting de Esakia mediante los espacios bi-topológicos introducidos en Bezhanishvili, et al. 2010 (Texto tomado de la fuente).We present examples of Heyting, co-Heyting and bi-Heyting algebras and relations with intuitionism, dual-intuitionism and bi-intuitionism logics. We study the modal operators described in Reyes and Zolfaghari, 1996. Finally, we comment the extension of Esakia’s representation theorems for Heyting, co-Heyting and bi-Heyting algebras by means of bi-topological spaces in Bezhanishvili, et al. 2010.application/pdfspaDerechos reservados - Universidad Nacional de Colombiahttp://creativecommons.org/licenses/by-nc/4.0/510 Matemáticas / MathematicsTrabajo de grado - Maestríahttp://bdigital.unal.edu.co/2658/info:eu-repo/semantics/openAccessHeytingco-HeytingIntuicionismoParaconsistenciaTopologíaIntuitionismParaconsistencyTopology