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

Full description

Autores:: Gutiérrez Chaparro, Javier Alberto

Tipo de recurso:

Fecha de publicación:: 2009

Institución:: Universidad Nacional de Colombia

Repositorio:: Universidad Nacional de Colombia

Idioma:: spa

id	UNACIONAL2_4cc3189a9a83c32ee233fbf69120aa20
oai_identifier_str	oai:repositorio.unal.edu.co:unal/70393
network_acronym_str	UNACIONAL2
network_name_str	Universidad Nacional de Colombia
repository_id_str
spelling	Atribución-NoComercial 4.0 InternacionalDerechos reservados - Universidad Nacional de Colombiahttp://creativecommons.org/licenses/by-nc/4.0/info:eu-repo/semantics/openAccesshttp://purl.org/coar/access_right/c_abf2Zalamea Traba, Fernando (Thesis advisor)7e1814a2-a59d-4ef5-91a2-a46829c1d68fGutiérrez Chaparro, Javier Albertoc795e009-3579-44d6-99a2-a143b7963b4f3002019-07-03T13:19:45Z2019-07-03T13:19:45Z2009-12https://repositorio.unal.edu.co/handle/unal/70393http://bdigital.unal.edu.co/2658/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.Maestríaapplication/pdfspaUniversidad Nacional de Colombia Sede Bogotá Facultad de Ciencias Departamento de MatemáticasDepartamento de MatemáticasGutié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.51 Matemáticas / MathematicsHeytingco-HeytingIntuicionismoParaconsistenciaTopologíaIntuitionismParaconsistencyTopologyLógica intuicionista dual y álgebras de Co-HeytingDual intuitionistic logic and Co-Heyting algebrasTrabajo de grado - Maestríainfo:eu-repo/semantics/masterThesisinfo:eu-repo/semantics/acceptedVersionTexthttp://purl.org/redcol/resource_type/TMORIGINAL830165.2009.pdfapplication/pdf297708https://repositorio.unal.edu.co/bitstream/unal/70393/1/830165.2009.pdfebb40a33b10eb36b22f9307bd372e7f5MD51THUMBNAIL830165.2009.pdf.jpg830165.2009.pdf.jpgGenerated Thumbnailimage/jpeg3343https://repositorio.unal.edu.co/bitstream/unal/70393/2/830165.2009.pdf.jpgc6121212e598bcd6bd0922804dd6ff38MD52unal/70393oai:repositorio.unal.edu.co:unal/703932024-06-05 23:09:23.678Repositorio Institucional Universidad Nacional de Colombiarepositorio_nal@unal.edu.co
dc.title.spa.fl_str_mv	Lógica intuicionista dual y álgebras de Co-Heyting
dc.title.translated.Spa.fl_str_mv	Dual intuitionistic logic and Co-Heyting algebras
title	Lógica intuicionista dual y álgebras de Co-Heyting
spellingShingle	Lógica intuicionista dual y álgebras de Co-Heyting 51 Matemáticas / Mathematics Heyting co-Heyting Intuicionismo Paraconsistencia Topología Intuitionism Paraconsistency Topology
title_short	Lógica intuicionista dual y álgebras de Co-Heyting
title_full	Lógica intuicionista dual y álgebras de Co-Heyting
title_fullStr	Lógica intuicionista dual y álgebras de Co-Heyting
title_full_unstemmed	Lógica intuicionista dual y álgebras de Co-Heyting
title_sort	Lógica intuicionista dual y álgebras de Co-Heyting
dc.creator.fl_str_mv	Gutiérrez Chaparro, Javier Alberto
dc.contributor.advisor.spa.fl_str_mv	Zalamea Traba, Fernando (Thesis advisor)
dc.contributor.author.spa.fl_str_mv	Gutiérrez Chaparro, Javier Alberto
dc.subject.ddc.spa.fl_str_mv	51 Matemáticas / Mathematics
topic	51 Matemáticas / Mathematics Heyting co-Heyting Intuicionismo Paraconsistencia Topología Intuitionism Paraconsistency Topology
dc.subject.proposal.spa.fl_str_mv	Heyting co-Heyting Intuicionismo Paraconsistencia Topología Intuitionism Paraconsistency Topology
description	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.
publishDate	2009
dc.date.issued.spa.fl_str_mv	2009-12
dc.date.accessioned.spa.fl_str_mv	2019-07-03T13:19:45Z
dc.date.available.spa.fl_str_mv	2019-07-03T13:19:45Z
dc.type.spa.fl_str_mv	Trabajo de grado - Maestría
dc.type.driver.spa.fl_str_mv	info:eu-repo/semantics/masterThesis
dc.type.version.spa.fl_str_mv	info:eu-repo/semantics/acceptedVersion
dc.type.content.spa.fl_str_mv	Text
dc.type.redcol.spa.fl_str_mv	http://purl.org/redcol/resource_type/TM
status_str	acceptedVersion
dc.identifier.uri.none.fl_str_mv	https://repositorio.unal.edu.co/handle/unal/70393
dc.identifier.eprints.spa.fl_str_mv	http://bdigital.unal.edu.co/2658/
url	https://repositorio.unal.edu.co/handle/unal/70393 http://bdigital.unal.edu.co/2658/
dc.language.iso.spa.fl_str_mv	spa
language	spa
dc.relation.ispartof.spa.fl_str_mv	Universidad Nacional de Colombia Sede Bogotá Facultad de Ciencias Departamento de Matemáticas Departamento de Matemáticas
dc.relation.references.spa.fl_str_mv	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.
dc.rights.spa.fl_str_mv	Derechos reservados - Universidad Nacional de Colombia
dc.rights.coar.fl_str_mv	http://purl.org/coar/access_right/c_abf2
dc.rights.license.spa.fl_str_mv	Atribución-NoComercial 4.0 Internacional
dc.rights.uri.spa.fl_str_mv	http://creativecommons.org/licenses/by-nc/4.0/
dc.rights.accessrights.spa.fl_str_mv	info:eu-repo/semantics/openAccess
rights_invalid_str_mv	Atribución-NoComercial 4.0 Internacional Derechos reservados - Universidad Nacional de Colombia http://creativecommons.org/licenses/by-nc/4.0/ http://purl.org/coar/access_right/c_abf2
eu_rights_str_mv	openAccess
dc.format.mimetype.spa.fl_str_mv	application/pdf
institution	Universidad Nacional de Colombia
bitstream.url.fl_str_mv	https://repositorio.unal.edu.co/bitstream/unal/70393/1/830165.2009.pdf https://repositorio.unal.edu.co/bitstream/unal/70393/2/830165.2009.pdf.jpg
bitstream.checksum.fl_str_mv	ebb40a33b10eb36b22f9307bd372e7f5 c6121212e598bcd6bd0922804dd6ff38
bitstream.checksumAlgorithm.fl_str_mv	MD5 MD5
repository.name.fl_str_mv	Repositorio Institucional Universidad Nacional de Colombia
repository.mail.fl_str_mv	repositorio_nal@unal.edu.co
_version_	1814089933354172416

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

Publicaciones similares