Escudo de la República de Colombia
Sistema Nacional de Biliotecas - Repositorio Institucional Universidad Nacional de Colombia Biblioteca Digital - Repositorio Institucional UN Sistema Nacional de Bibliotecas UN

Lógica intuicionista dual y álgebras de Co-Heyting / Dual intuitionistic logic and Co-Heyting algebras

Gutiérrez Chaparro, Javier Alberto (2009) Lógica intuicionista dual y álgebras de Co-Heyting / Dual intuitionistic logic and Co-Heyting algebras. Maestría thesis, Universidad Nacional de Colombia.

Texto completo

[img]
Vista previa
PDF - Versión Aceptada
Available under License Creative Commons Attribution Non-commercial No Derivatives.

297kB

Resumen

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

Tipo de documento:Tesis/trabajos de grado - Thesis (Maestría)
Colaborador / Asesor:Zalamea Traba, Fernando
Palabras clave:Heyting; co-Heyting; Intuicionismo; Paraconsistencia; Topología; Intuitionism; Paraconsistency; Topology
Temática:5 Ciencias naturales y matemáticas / Science > 51 Matemáticas / Mathematics
Unidad administrativa:Sede Bogotá > Facultad de Ciencias > Departamento de Matemáticas
Código ID:2658
Enviado por : Universidad Nacional de Colombia Biblioteca Digital - Sede Bogotá
Enviado el día :28 Dec 2010 14:21
Ultima modificación:14 Febrero 2011 23:49
Ultima modificación:14 Febrero 2011 23:49
Exportar:Clic aquí
Estadísticas:Clic aquí
Compartir:

Solamente administradores del repositorio: página de control del ítem

Vicerrectoría de Investigación: Número uno en investigación
Indexado por:
Indexado por Scholar Google WorldCat DRIVER Registry of Open Access Repositories OpenDOAR Metabiblioteca BDCOL OAIster Red de repositorios latinoamericanos DSpace BASE Open archives La referencia Colombiae Open Access Theses and Dissertations Tesis latinoamericanas CLACSO
Este sitio web se ve mejor en Firefox