In this paper, we study and classify some important subvarieties of the variety of monadic MV-algebras. We introduce the notion of width of a monadic MV-algebra and we prove that the equational class of monadic MV-algebras ...

In this paper we describe the lattice of subvarieties of the variety ofmonadic Łukasiewicz-Moisil algebras. We then characterize all these subvarieties by means of identities.

The aim of this paper is to study the variety IMTn and some of its subvarieties. After proving some general properties of IMTn-chains, we characterize IMT4-chains and we provide a complete description of some subvarieties ...

In this paper, we show that free algebras in the variety of residuated lattices and some of its subvarieties are directly indecomposable and show, as a consequence, the direct indecomposability of free algebras for some ...

To every abelian subvariety of a principally polarized abelian variety (A,L) we canonically associate a numerical class in the Néron–Severi group of A.We prove that these classes are characterized by their intersection ...

In the present paper we extend previous results by completely characterizing dual canonical subvarieties of BL-algebras. These are subvarieties of algebras that satisfy the equation x^k=x^{k+1} for some integer k>0. As a ...

In 2012, the second author introduced and studied in Sankappanavar (Sci Math Jpn 75(1):21–50, 2012) the variety I of algebras, called implication zroupoids, that generalize De Morgan algebras. An algebra A= ⟨ A, → , 0 ⟩ , ...

The aim of this paper is to investigate the variety of symmetric closure algebras, that is, closure algebras endowed with a De Morgan operator. Some general properties are derived. Particularly, the lattice of subvarieties ...

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 ...

We introduce the variety of Hilbert algebras with a modal operator , called H -algebras. The variety of H -algebras is the algebraic counterpart of the f!; g-fragment of the intuitionitic modal logic IntK . We will study ...