Subvarieties of BL-algebras generated by single-component chains

In this paper we study and equationally characterize the subvarieties of BL, the variety of BL-algebras, which are generated by families of single-component BL-chains, i.e. MV-chains, Product-chain or Gödel-chains. Moreover, it is proved that they form a segment of the lattice of subvarieties of BL which is bounded by the Boolean variety and the variety generated by all single-component chains, called LnG. Retrieved from "http://www.mathfuzzlog.org/index.php/Subvarieties_of_BL-algebras_generated_by_single-components_chains

Subvarieties of BL-algebras generated by single-component chains

In this paper we study and equationally characterize the subvarieties of BL, the variety of BL-algebras, which are generated by families of single-component BL-chains, i.e. MV-chains, Product-chain or Gödel-chains. Moreover, it is proved that they form a segment of the lattice of subvarieties of BL which is bounded by the Boolean variety and the variety generated by all single-component chains, called Å?âˆ?G.The authors thank Petr Hájek for useful remarks and suggestions. The authors have been partially supported by the bilateral Italian-Spanish cooperation project Integrated Action HI 1998-0090Peer Reviewe

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 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.Fil: Lubomirsky, Noemí. Universidad Nacional de La Plata. Facultad de Ciencias Exactas. Departamento de Matemáticas; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - La Plata; Argentin