Show simple item record

dc.contributorZalamea Traba, Fernando (Thesis advisor)
dc.creatorGutiérrez Chaparro, Javier Alberto
dc.date.accessioned2019-07-03T13:19:45Z
dc.date.available2019-07-03T13:19:45Z
dc.date.created2009-12
dc.identifier.urihttps://repositorio.unal.edu.co/handle/unal/70393
dc.descriptionPresentamos 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.
dc.formatapplication/pdf
dc.relation.ispartofUniversidad Nacional de Colombia Sede Bogotá Facultad de Ciencias Departamento de Matemáticas
dc.relation.ispartofDepartamento de Matemáticas
dc.subjectHeyting
dc.subjectco-Heyting
dc.subjectIntuicionismo
dc.subjectParaconsistencia
dc.subjectTopología
dc.subjectIntuitionism
dc.subjectParaconsistency
dc.subjectTopology
dc.subject.ddc51 Matemáticas / Mathematics
dc.titleLógica intuicionista dual y álgebras de Co-Heyting / Dual intuitionistic logic and Co-Heyting algebras
dc.typeinfo:eu-repo/semantics/masterThesis
dc.type.spaTesis/trabajos de grado - Thesis
dc.type.hasversioninfo:eu-repo/semantics/draft
dc.coverage.modalityMaestría
dc.rights.accessRightsinfo:eu-repo/semantics/openAccess
dc.identifier.bibliographicCitationGutié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.
dc.identifier.eprintshttp://bdigital.unal.edu.co/2658/


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record