XML
<oai_dc:dc xmlns:oai_dc="http://www.openarchives.org/OAI/2.0/oai_dc/" xmlns:doc="http://www.lyncode.com/xoai" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:dc="http://purl.org/dc/elements/1.1/" xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/oai_dc/ http://www.openarchives.org/OAI/2.0/oai_dc.xsd"><identifier>I10-R141-11086-5792</identifier><datestamp>2022-10-13T11:33:13Z</datestamp>
<dc:title>Aplicaciones de álgebra universal al reticulado de Post</dc:title>
<dc:creator>Leberle, Maico Carlos</dc:creator>
<dc:contributor>Vaggione, Diego José</dc:contributor>
<dc:subject>Lógica matemática</dc:subject>
<dc:subject>Mathematical Logic</dc:subject>
<dc: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</dc:description>
<dc:date>2018-01-31T18:26:52Z</dc:date>
<dc:date>2018-01-31T18:26:52Z</dc:date>
<dc:date>2017</dc:date>
<dc:type>bachelorThesis</dc:type>
<dc:identifier>http://hdl.handle.net/11086/5792</dc:identifier>
<dc:language>spa</dc:language>
<dc:rights>Atribución-NoComercial-CompartirIgual 2.5 Argentina</dc:rights>
<dc:rights>https://creativecommons.org/licenses/by-nc-sa/2.5/ar/</dc:rights>
</oai_dc:dc>
Datos convertidos
{
"id": "I10-R141-11086-5792",
"record_format": "dspace",
"spelling": [
"I10-R141-11086-57922022-10-13T11:33:13Z Aplicaciones de \u00e1lgebra universal al reticulado de Post Leberle, Maico Carlos Vaggione, Diego Jos\u00e9 L\u00f3gica matem\u00e1tica Mathematical Logic El reticulado de todos los clones de funciones booleanas ordenados por inclusi\u00f3n, mejor conocido como reticulado de Post, es de suma importancia en Ciencias de la Computaci\u00f3n 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\u00f3n de varios conceptos de \u00c1lgebra Universal. Para esto, estudiaremos el reticulado de congruencias de un \u00e1lgebra, las variedades, las \u00e1lgebras subdirectamente irreducibles, el \u00e1lgebra libre de una variedad, las condiciones de Mal'cev y de J\u00f3nnson, y los clones. Adem\u00e1s, se presentan la variedad de las \u00e1lgebras implicativas y las AE-sentencias (sentencias de la forma \"para todo existe un \u00fanico (conjunci\u00f3n de equivalencias)\"), centrales en el desarrollo de este trabajo. A trav\u00e9s de las AE-sentencias, estudiaremos el clon de funciones algebraicas y las (sub)clases algebraicamente expandibles. Ser\u00e1 posible, entonces, describir la cadena infinita de clones comprendidos entre el clon de operaciones t\u00e9rmino y el clon de funciones algebraicas del \u00e1lgebra implicativa de 2 elementos (i.e., los clones que contienen a la funci\u00f3n booleana implica) mediante la demostraci\u00f3n de un anti-isomorfismo con el reticulado de subclases algebraicamente expandibles de la variedad de las \u00e1lgebras implicativas 2018-01-31T18:26:52Z 2018-01-31T18:26:52Z 2017 bachelorThesis http:\/\/hdl.handle.net\/11086\/5792 spa Atribuci\u00f3n-NoComercial-CompartirIgual 2.5 Argentina https:\/\/creativecommons.org\/licenses\/by-nc-sa\/2.5\/ar\/"
],
"institution": [
"Universidad Nacional de C\u00f3rdoba"
],
"institution_str": "I-10",
"repository_str": "R-141",
"collection": [
"Repositorio Digital Universitario (UNC)"
],
"language": [
"Espa\u00f1ol"
],
"topic": [
"L\u00f3gica matem\u00e1tica",
"Mathematical Logic"
],
"spellingShingle": [
"L\u00f3gica matem\u00e1tica",
"Mathematical Logic",
"Leberle, Maico Carlos",
"Aplicaciones de \u00e1lgebra universal al reticulado de Post"
],
"topic_facet": [
"L\u00f3gica matem\u00e1tica",
"Mathematical Logic"
],
"description": "El reticulado de todos los clones de funciones booleanas ordenados por inclusi\u00f3n, mejor conocido como reticulado de Post, es de suma importancia en Ciencias de la Computaci\u00f3n 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\u00f3n de varios conceptos de \u00c1lgebra Universal.\r\nPara esto, estudiaremos el reticulado de congruencias de un \u00e1lgebra, las variedades, las \u00e1lgebras subdirectamente irreducibles, el \u00e1lgebra libre de una variedad, las condiciones de Mal'cev y de J\u00f3nnson, y los clones.\r\nAdem\u00e1s, se presentan la variedad de las \u00e1lgebras implicativas y las AE-sentencias (sentencias de la forma \"para todo existe un \u00fanico (conjunci\u00f3n de equivalencias)\"), centrales en el desarrollo de este trabajo. A trav\u00e9s de las AE-sentencias, estudiaremos el clon de funciones algebraicas y las (sub)clases algebraicamente expandibles. Ser\u00e1 posible, entonces, describir la cadena infinita de clones comprendidos entre el clon de operaciones t\u00e9rmino y el clon de funciones algebraicas del \u00e1lgebra implicativa de 2 elementos (i.e., los clones que contienen a la funci\u00f3n booleana implica) mediante la demostraci\u00f3n de un anti-isomorfismo con el reticulado de subclases algebraicamente expandibles de la variedad de las \u00e1lgebras implicativas",
"author2": [
"Vaggione, Diego Jos\u00e9"
],
"author_facet": [
"Vaggione, Diego Jos\u00e9",
"Leberle, Maico Carlos"
],
"format": [
"bachelorThesis"
],
"author": [
"Leberle, Maico Carlos"
],
"author_sort": "Leberle, Maico Carlos",
"title": "Aplicaciones de \u00e1lgebra universal al reticulado de Post",
"title_short": "Aplicaciones de \u00e1lgebra universal al reticulado de Post",
"title_full": "Aplicaciones de \u00e1lgebra universal al reticulado de Post",
"title_fullStr": "Aplicaciones de \u00e1lgebra universal al reticulado de Post",
"title_full_unstemmed": "Aplicaciones de \u00e1lgebra universal al reticulado de Post",
"title_sort": "aplicaciones de \u00e1lgebra universal al reticulado de post",
"publishDate": [
"2018"
],
"url": [
"http:\/\/hdl.handle.net\/11086\/5792"
],
"work_keys_str_mv": [
"AT leberlemaicocarlos aplicacionesdealgebrauniversalalreticuladodepost"
],
"_version_": 1748403443258621952
}