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

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Leberle, Maico Carlos
Otros Autores: Vaggione, Diego José
Formato: bachelorThesis
Lenguaje:Español
Publicado: 2018
Materias:
Acceso en línea:http://hdl.handle.net/11086/5792
Aporte de:
id I10-R141-11086-5792
record_format dspace
institution Universidad Nacional de Córdoba
institution_str I-10
repository_str R-141
collection Repositorio Digital Universitario (UNC)
language Español
topic Lógica matemática
Mathematical Logic
spellingShingle Lógica matemática
Mathematical Logic
Leberle, Maico Carlos
Aplicaciones de álgebra universal al reticulado de Post
topic_facet Lógica matemática
Mathematical Logic
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
author2 Vaggione, Diego José
author_facet Vaggione, Diego José
Leberle, Maico Carlos
format bachelorThesis
author Leberle, Maico Carlos
author_sort Leberle, Maico Carlos
title Aplicaciones de álgebra universal al reticulado de Post
title_short 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_sort aplicaciones de álgebra universal al reticulado de post
publishDate 2018
url http://hdl.handle.net/11086/5792
work_keys_str_mv AT leberlemaicocarlos aplicacionesdealgebrauniversalalreticuladodepost
bdutipo_str Repositorios
_version_ 1764820392447311872