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

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

This paper surveys recent developments in the theory of profinite Heyting algebras (resp. bounded distributive lattices, Boolean algebras) and profinite completions of Heyting algebras (resp. bounded distributive lattices, Boolean algebras). The new contributions include a necessary and sufficient condition for a profinite Heyting algebra (resp. bounded distributive lattice) to be isomorphic to...

We develop a theory of sets with distributive products (called shelves and multi-shelves) and of their homology. We relate the shelf homology to the rack and quandle homology. 1. Binary distributive operations Let X be a set. Binary operations ? : X ×X → X with composition x ?1 ?2y = (x ?1 y) ?2 y and the identity x ? y = x form a monoid, M(X). A collection of operations ?i, i ∈ I is called mut...

In this paper the authors have studied the Glivenko congruence R in a 0-distributive nearlattice S defined by " () R b a ≡ if and only if 0 = ∧ x a is equivalent to 0 = ∧ x b for each S x ∈ ". They have shown that the quotient nearlattice R S is weakly complemented. Moreover, R S is distributive if and only if S is 0-distributive. They also proved that every Sectionally complemented nearlattice...

In the late 1930's Garrett Birkhoff [3] pioneered the theory of distributive lattices. An important component in this theory is the concept of exponentiation of lattices [4]: for a lattice L and a partially ordered set P let L denote the set of all order-preserving maps of P to L partially ordered b y / ^ g if and only if/(;c) ^ g(x) for each x e P (see Figure 1). Indeed, If is a lattice. This ...

I consider abstract social systems where the distribution of wealth is an object of common concern. I study, in particular, the systems where liberal distributive social contracts consist of the Pareto-efficient distributions that are unanimously preferred to the initial distribution. I define a Dual Distributive Core from a process of decentralized auction on the budget shares of Lindahl assoc...

It is generally recognised that the potential positive and negative impacts of geoengineering will be distributed unevenly both geographically and temporally. The question of distributive justice in geoengineering thus is one of the major ethical issues associated with geoengineering. Currently, the question of distributive justice in geoengineering is framed in terms of who gets what (potentia...

Generalised Distributive laws in Computer Science are rules governing the transformation of one programming structure into another. In programming, they are programs satisfying certain formal conditions. Their importance has been to date documented in several isolated cases by diverse formal approaches. These applications have always meant leaps in understanding the nature of the subject. Howev...