Show simple item record

dc.rights.licenseAtribución-NoComercial 4.0 Internacional
dc.contributorCastro Korgi, Rodrigo de
dc.contributor.authorPerilla Monroy, Sandra Marleny
dc.date.accessioned2019-06-24T23:39:59Z
dc.date.available2019-06-24T23:39:59Z
dc.date.issued2012
dc.identifier.urihttps://repositorio.unal.edu.co/handle/unal/10573
dc.description.abstractEste trabajo tiene por objetivo mostrar un enlace más entre álgebra, topología y lógica, tomando como base fundamental la teoría de retículos. Se estudian en el primer capítulos los retículos residuados, que son retículos a los que se les agrega una operación de monoide residuada. Se obtienen para ellos un gran número de propiedades a partir de la noción de adjunción entre conjuntos ordenados. En el segundo capítulo, se estudian los retículos residuados completos, que son caracterizados como cuantales unitarios, los cuales resultan estar relacionados con la categoría de pretopologías mediante una adjunción. Y en el tercer capitulo se estudian las lógicas subestructurales que se formalizan en sistemas de secuentes de Gentzen y cuyas semánticas asociadas resultan ser los retículos residuados. / Abstract. This paper aims to show link between algebra, topology and logic, based on fundamental lattice theory. Studied in the first chapter residuated lattices, which are lattices to which is added residuated monoid operation. Are obtained for them a large list of properties from the notion of adjunction between ordered sets. In the second chapter, we study the complete residuated lattices, which are characterized as unit quantales, which happen to be related to the category of pretopologies by adjunction. And in the third chapter we study the substructural logics which are formalized in Gentzen sequent systems whose associated semantic happen to be the residuated lattices.
dc.format.mimetypeapplication/pdf
dc.language.isospa
dc.relation.ispartofUniversidad Nacional de Colombia Sede Bogotá Facultad de Ciencias Departamento de Matemáticas
dc.relation.ispartofDepartamento de Matemáticas
dc.rightsDerechos reservados - Universidad Nacional de Colombia
dc.rights.urihttp://creativecommons.org/licenses/by-nc/4.0/
dc.subject.ddc51 Matemáticas / Mathematics
dc.titleRetículos residuados y algunas conexiones con topología y lógica
dc.typeTrabajo de grado - Maestría
dc.type.driverinfo:eu-repo/semantics/masterThesis
dc.type.versioninfo:eu-repo/semantics/acceptedVersion
dc.identifier.eprintshttp://bdigital.unal.edu.co/7754/
dc.description.degreelevelMaestría
dc.relation.referencesPerilla Monroy, Sandra Marleny (2012) Retículos residuados y algunas conexiones con topología y lógica. Maestría thesis, Universidad Nacional de Colombia.
dc.rights.accessrightsinfo:eu-repo/semantics/openAccess
dc.subject.proposalReticulos residuados
dc.subject.proposalcuantales
dc.subject.proposaloperadores de clausura
dc.subject.proposalpretopologías,
dc.subject.proposallógicas subestructurales / Residuated lattices, quantales, closure operators, pre- topologies, substructural logics.
dc.type.coarhttp://purl.org/coar/resource_type/c_bdcc
dc.type.coarversionhttp://purl.org/coar/version/c_ab4af688f83e57aa
dc.type.contentText
dc.type.redcolhttp://purl.org/redcol/resource_type/TM
oaire.accessrightshttp://purl.org/coar/access_right/c_abf2


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record

Atribución-NoComercial 4.0 InternacionalThis work is licensed under a Creative Commons Reconocimiento-NoComercial 4.0.This document has been deposited by the author (s) under the following certificate of deposit