Lógica intuicionista dual y álgebras de Co-Heyting

Presentamos 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. / Abstract. 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.

• Autores: Gutiérrez Chaparro, Javier Alberto
• Fecha de publicación: 2009
• Institución: Universidad Nacional de Colombia
• Repositorio: Universidad Nacional de Colombia
• Idioma: spa
• OAI Identifier: oai:repositorio.unal.edu.co:unal/70393
• Acceso en línea: https://repositorio.unal.edu.co/handle/unal/70393; http://bdigital.unal.edu.co/2658/
• Palabra clave: 51 Matemáticas / Mathematics; Heyting; co-Heyting; Intuicionismo; Paraconsistencia; Topología; Intuitionism; Paraconsistency; Topology
• Rights: openAccess
• License: Atribución-NoComercial 4.0 Internacional