Tarski algebras, also known as implication algebras or semi-boolean algebras, are the {→}-subreducts of Boolean algebras. In this paper we shall introduce and study the complete and atomic Tarski algebras. We shall prove ...

In the framework of algebras with infinitary operations, an equational base for the category of σ-complete MV-algebras is given. In this way, we study some particular objects as simple algebras, directly irreducible algebras, ...

We prove that every subvariety of BL-algebras which is not finitely generated is not σ-canonical. We also prove π-canonicity for an infinite family of subvarieties of BL-algebras that are not finitely generated. To do so ...

Esta tesis trata sobre la clasificación de las álgebras de pre-Nichols de dimensión de Gelfand-Kirillov finita. Las álgebras de Nichols de tipo diagonal de dimensión finita con diagrama de Dynkin conexo se pueden reagrupar ...

The relationship between an algebra and its associated monomial algebra is investigated when at least one of the algebras is d-Koszul It is shown that an algebra which has a reduced Grobnerbasis that is composed of homogeneous ...