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 caden...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | bachelorThesis |
| Language: | spa |
| Published: |
2018
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/11086/5792 |
| _version_ | 1801215910974849024 |
|---|---|
| author | Leberle, Maico Carlos |
| author2 | Vaggione, Diego José |
| author_facet | Vaggione, Diego José Leberle, Maico Carlos |
| author_sort | Leberle, Maico Carlos |
| collection | Repositorio Digital Universitario |
| description | 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 |
| format | bachelorThesis |
| id | rdu-unc.5792 |
| institution | Universidad Nacional de Cordoba |
| language | spa |
| publishDate | 2018 |
| record_format | dspace |
| spelling | rdu-unc.57922022-10-13T11:33:13Z Aplicaciones de álgebra universal al reticulado de Post Leberle, Maico Carlos Vaggione, Diego José Lógica matemática Mathematical Logic 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 2018-01-31T18:26:52Z 2018-01-31T18:26:52Z 2017 bachelorThesis http://hdl.handle.net/11086/5792 spa Atribución-NoComercial-CompartirIgual 2.5 Argentina https://creativecommons.org/licenses/by-nc-sa/2.5/ar/ |
| spellingShingle | Lógica matemática Mathematical Logic Leberle, Maico Carlos Aplicaciones de álgebra universal al reticulado de Post |
| title | Aplicaciones de álgebra universal al reticulado de Post |
| title_full | Aplicaciones de álgebra universal al reticulado de Post |
| title_fullStr | Aplicaciones de álgebra universal al reticulado de Post |
| title_full_unstemmed | Aplicaciones de álgebra universal al reticulado de Post |
| title_short | Aplicaciones de álgebra universal al reticulado de Post |
| title_sort | aplicaciones de algebra universal al reticulado de post |
| topic | Lógica matemática Mathematical Logic |
| url | http://hdl.handle.net/11086/5792 |
| work_keys_str_mv | AT leberlemaicocarlos aplicacionesdealgebrauniversalalreticuladodepost |