Técnicas geométricas y combinatorias en el estudio de subvariedades de BL-álgebras
En esta tesis estudiamos una subvariedad MG contenida en la variedad de BL-álgebras generada por una BL-cadena dada por la suma ordinal de la MV-álgebra [0,1] y el hoop de Gödel [0,1]. Se da la descripción del álgebra libre en la variedad MG, la cual da una idea del rol de los bloques principales de...
| Autor: | |
|---|---|
| Tipo de recurso: | tesis doctoral |
| Estado: | Versión publicada |
| Fecha de publicación: | 2017 |
| País: | Argentina |
| Institución: | Consejo Nacional de Investigaciones Científicas y Técnicas |
| Repositorio: | CONICET Digital (CONICET) |
| Idioma: | español |
| OAI Identifier: | oai:ri.conicet.gov.ar:11336/94155 |
| Acceso en línea: | http://hdl.handle.net/11336/94155 |
| Access Level: | acceso abierto |
| Palabra clave: | Álgebas libres BL-álgebras Lógicas no clásicas https://purl.org/becyt/ford/1.1 https://purl.org/becyt/ford/1 |
| Sumario: | En esta tesis estudiamos una subvariedad MG contenida en la variedad de BL-álgebras generada por una BL-cadena dada por la suma ordinal de la MV-álgebra [0,1] y el hoop de Gödel [0,1]. Se da la descripción del álgebra libre en la variedad MG, la cual da una idea del rol de los bloques principales de la cadena generadora: los elementos regulares y los elementos densos. Para definir las funciones en la representación basta con descomponer el dominio en un número finito de regiones, y sobre cada una de ellas coincide con una función de McNaughton o una función el álgebra libre generada por el hoop de Gödel [0,1]. Esta representación nos permite dar una descripción sencilla de los filtros maximales, primos y principales y las álgebras finitamente presentadas. Finalmente vemos que los resultados se pueden generalizar a álgebras generadas por cadenas dadas por la suma ordinal de la MV-álgebra estándar [0,1] y H un hoop básico totalmente ordenado. |
|---|