Aplicaciones de álgebra universal al reticulado de Post
El reticulado de todos los clones de funciones booleanas ordenados por inclusión, mejor conocido como reticulado de Post, es de suma importancia en Ciencias de la Computación en lo referido al problema de satisfacibilidad booleana y su complejidad. En este trabajo se logra describir una de las cadenas infinitas del reticulado de Post mediante la aplicación de varios conceptos de Álgebra Universal. Para esto, estudiaremos el reticulado de congruencias de un álgebra, las variedades, las álgebras subdirectamente irreducibles, el álgebra libre de una variedad, las condiciones de Mal'cev y de Jónnson, y los clones. Además, se presentan la variedad de las álgebras implicativas y las AE-sentencias (sentencias de la forma "para todo existe un único (conjunción de equivalencias)"), centrales en el desarrollo de este trabajo. A través de las AE-sentencias, estudiaremos el clon de funciones algebraicas y las (sub)clases algebraicamente expandibles. Será posible, entonces, describir la cadena infinita de clones comprendidos entre el clon de operaciones término y el clon de funciones algebraicas del álgebra implicativa de 2 elementos (i.e., los clones que contienen a la función booleana implica) mediante la demostración de un anti-isomorfismo con el reticulado de subclases algebraicamente expandibles de la variedad de las álgebras implicativas
Main Author: | Leberle, Maico Carlos |
---|---|
Other Authors: | Vaggione, Diego José |
Format: | bachelorThesis biblioteca |
Language: | spa |
Published: |
2017
|
Subjects: | Lógica matemática, Mathematical Logic, |
Online Access: | http://hdl.handle.net/11086/5792 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Optimización de la traducción funcional para lógicas modales
by: Díaz, Marcio Oscar
Published: (2013-08-09) -
El prisionero de la verdad: Bertrand Russell
by: Bonilla, Elisa
Published: (2003) -
Simetrías en razonamiento automático : el caso de las lógicas modales y satisfacibilidad módulo teorías
by: Orbe, Alejandro Ezequiel
Published: (2014-03) -
Reticulados de correlación booleanos : álgebras simples /
by: Fernández de tassara, Alicia, et al.
Published: ([s.f) -
Generación de código intermedio usando semántica funtorial
by: Rodríguez, Leonardo Matías
Published: (2010-12-29)