• Correo ElectrónicoCorreo Electrónico
  • Dirección Nacional de Información AcadémicaDNINFOA - SIA
  • BibliotecaBibliotecas
  • ConvocatoriasConvocatorias
  • Identidad U.N.Identidad U.N.
Escudo de la República de ColombiaEscudo de la República de Colombia
  • English 
    • español
    • English
    • português (Brasil)
  • Aspirantes
  • Estudiantes
  • Egresados
  • Docentes
  • Administrativos
repositorio.unal.edu.co
Bibliotecas
  • Mapa de sedes
  • Amazonía
  • Bogotá
  • Caribe
  • Manizales
  • Medellín
  • Orinoquía
  • Palmira
Biblioteca Digital
  • Repositorio Institucional
  • Entrega de tesis y publicación en línea
  • Digitalización de documentos
  • Normatividad publicación en línea
  • Portal de Revistas UN
  • Suscripción a contenidos UN
  • Contáctenos
Recursos Bibliográficos
  • Recursos electrónicos
  • Catálogo UN
  • Diccionarios y enciclopedias
  • Herramientas bibliográficas
  • Libros electrónicos
  • Descubridor
  • Índices bibliográficos
  • Adquisicion de material bibliografico
Formación
  • Agenda de formación
  • Solicitud de nuevo taller
  • Guía de autoarchivo de documentos
Acerca de
  • Misión y visión
  • Dirección Nacional de Bibliotecas
  • Convenios y redes
  • Video del Sinab
  • Preguntas frecuentes
Sedes
  • Amazonia
  • Bogotá
  • Caribe
  • De La Paz
  • Manizales
  • Medellín
  • Orinoquia
  • Palmira
  • Tumaco
Servicios
Perfiles
Home
    • español
    • English
    • português (Brasil)
  • Login
View Item 
  •   Institutional Repository of Universidad Nacional
  • 1- Tesis y Disertaciones
  • Sede Bogotá
  • Facultad de Ciencias
  • Departamento de Matemáticas
  • View Item
  •   Institutional Repository of Universidad Nacional
  • 1- Tesis y Disertaciones
  • Sede Bogotá
  • Facultad de Ciencias
  • Departamento de Matemáticas
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

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

Thumbnail
830118.2012.pdf (498.6Kb)
Date published
2012
Author
Perilla Monroy, Sandra Marleny
Metadata
Show full item record

Summary
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.
Subject
Reticulos residuados ; cuantales ; operadores de clausura ; pretopologías, ; lógicas subestructurales / Residuated lattices, quantales, closure operators, pre- topologies, substructural logics. ;
URI
https://repositorio.unal.edu.co/handle/unal/10573
Collections
  • Departamento de Matemáticas [356]

Browse

All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesKnowledge AreasThis CollectionBy Issue DateAuthorsTitlesKnowledge Areas

My Account

LoginRegister

Statistics

View Google Analytics Statistics
Régimen Legal
Talento humano
Contratación
Ofertas de empleo
Rendición de cuentas
Concurso docente
Pago Virtual
Control interno
Calidad
Buzón de notificaciones
Correo institucional
Mapa del sitio
Redes Sociales
FAQ
Quejas y reclamos
Atención en línea
Encuesta
Contáctenos
Estadísticas
Glosario

Contacto página web:
Carrera 45 # 26-85
Edif. Uriel Gutiérrez
Bogotá D.C., ; Colombia
(+57 1) 316 5000

© Copyright 2014
Algunos derechos reservados.
mediosdigitales@unal.edu.co
Acerca de este sitio web

Actualización: 04/10/19

Orgullo UNOrgullo UNAgencia de noticiasAgencia de noticias
Trámites en líneaContaduría General de la República