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

In this article we introduce the variety of monadic BL-algebras as BL-algebras endowed with two monadic operators ∀ and ∃. After a study of the basic properties of this variety we show that this class is the equivalent ...

In this paper, we introduce the variety of algebras, which we call monadic kxj-rough Heyting algebras. These algebras constitute an extension of monadic Heyting algebras and in 3x2 case they coincide with monadic 3-valued ...

This paper proposes a general semantic framework for verifying programs with arbitrary monadic side-effects using Dijkstra monads, which we define as monad-like structures indexed by a specification monad. We prove that ...

Computational effects complicate the tasks of reasoning about and maintaining software, due to the many kinds of interferences that can occur. While different proposals have been formulated to alleviate the fragility and ...

In this paper, every monadic implication algebra is represented as a union of a unique family of monadic filters of a suitable monadic Boolean algebra. Inspired by this representation, we introduce the notion of a monadic ...