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

Retículos residuados y algunas conexiones con topología y lógica

Perilla Monroy, Sandra Marleny (2012) Retículos residuados y algunas conexiones con topología y lógica. Maestría thesis, Universidad Nacional de Colombia.

Texto completo

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

510kB

Resumen

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

Tipo de documento:Tesis/trabajos de grado - Thesis (Maestría)
Colaborador / Asesor:Castro Korgi, Rodrigo de
Información adicional:Magister en Ciencias Matemáticas
Palabras clave:Reticulos residuados; cuantales; operadores de clausura; pretopologías,; lógicas subestructurales / Residuated lattices, quantales, closure operators, pre- topologies, substructural logics.
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:7754
Enviado por : Universidad Nacional de Colombia Biblioteca Digital - Sede Bogotá
Enviado el día :26 Septiembre 2012 14:03
Ultima modificación:13 May 2016 20:40
Ultima modificación:13 May 2016 20:40
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