In this paper, we study the class of all monadic implicational subreducts, that is, the {→, ∀, 1}-subreducts of the class of monadic MV-algebras. We prove that this class is an equational class, which we denote by ML, and ...

Wajsberg hoops are the { , →, 1}-subreducts (hoop-subreducts) of Wajsberg algebras, which are term equivalent to MV-algebras and are the algebraic models of Lukasiewicz infinite-valued logic. Monadic MV-algebras were ...

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