
handle: 11365/7164
A generalized BL-algebra (or GBL-algebra for short) is a residuated lattice that satisfies the identities x boolean AND y = ((x boolean AND y)/y)y = y(y\(x boolean AND y)). It is shown that all finite GBL-algebras are commutative, hence they can be constructed by iterating ordinal sums and direct products of Wajsberg hoops. We also observe that the idempotents in a GBL-algebra form a subalgebra of elements that commute with all other elements. Subsequently we construct subdirectly irreducible noncommutative integral GBL-algebras that are not ordinal sums of generalized MV-algebras. We also give equational bases for the varieties generated by such algebras. The construction provides a new way of order-embedding the lattice of f-group varieties into the lattice of varieties of integral GBL-algebras. The results of this paper also apply to pseudo-BL algebras.
residuated lattice, generalized MV-algebras, generalized BL-algebra, generalized BL-algebras; basic logic; residuated lattices; generalized MV-algebras, basic logic, 510, 004
residuated lattice, generalized MV-algebras, generalized BL-algebra, generalized BL-algebras; basic logic; residuated lattices; generalized MV-algebras, basic logic, 510, 004
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 0 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
