In this paper, we study the relationships between left (right) semi-uninorms and implications on a complete lattice. We firstly discuss the residual operations of left and right semi-uninorms and show that the right (left) residual operator of a conjunctive right (left) ∨-distributive left (right) semi-uninorm is a right ∧-distributive implication that satisfies the neutrality principle. Then, ...

Distributive laws between monads (triples) were defined by Jon Beck in the 1960s; see [1]. They were generalized to monads in 2-categories and noticed to be monads in a 2-category of monads; see [2]. Mixed distributive laws are comonads in the 2-category of monads [3]; if the comonad has a right adjoint monad, the mate of a mixed distributive law is an ordinary distributive law. Particular case...

The eukaryotic RNA exosome is a highly conserved multi-subunit complex that catalyzes degradation and processing of coding and noncoding RNA. A noncatalytic nine-subunit exosome core interacts with Rrp44 and Rrp6, two subunits that possess processive and distributive 3'-to-5' exoribonuclease activity, respectively. While both Rrp6 and Rrp44 are responsible for RNA processing in budding yeast, R...

in this paper, we firstly show that the $n$-dual operation of the right residual implication, which is induced by a left-conjunctive right arbitrary $vee$-distributive left semi-uninorm, is the right residual coimplication induced by its $n$-dual operation. as a dual result, the $n$-dual operation of the right residual coimplication, which is induced by a left-disjunctive right arbitrary $wedge...

the purpose of this study barriers and challenges to the development of swimming in iran sports university has focuses on mental and physical health between students and academics. thus the existence of justice is essential to increase its quality in this critical environment. this study investigates distributive and interactive justice in athletic departments' countries universities. popu...

The development of user-friendly negotiation support systems enabled negotiators to obtain advice directly from the system rather than via an intermediary. The emergence of e-commerce and the development of negotiating software agents further contributed to the automation of negotiation activities. These developments exposed inconsistencies in the descriptions of integrative and distributed neg...

objective: international diabetes organization estimates that there are 285 million people worldwide who suffer from diabetes, and this figure is expected to increase to 450 million in next 20 years. according to statistics issued by the world health organization, diabetes is considered among ten leading causes of death in world and its prevalence in the population is growing.this paper deals w...

We give a categorical perspective on various product rules, including Brzozowski’s product rule ((st)a = sat + o(s)ta) and the familiar rule of calculus ((st)a = sat+ sta). It is already known that these product rules can be represented using distributive laws, e.g. via a suitable quotient of a GSOS law. In this paper, we cast these product rules into a general setting where we have two monads ...