Recently the distributive equations involving various classes of aggregation operators have aroused widespread attention because of their importance in the theoretic and applied communities of fuzzy set theory. 2-uninorms and semi-t-operators are two special classes of aggregation operators and have been proved to be useful in many areas such as fuzzy decision making, approximate reasoning and ...

A category with finite products and finite coproducts is said to be distributive if the canonical map A×B + A×C → A× (B + C) is invertible for all objects A, B, and C. Given a distributive category D , we describe a universal functor D → Dex preserving finite products and finite coproducts, for which Dex is extensive; that is, for all objects A and B the functor Dex/A × Dex/B → Dex/(A + B) is a...

This thesis presents a series of theoretical results and practical realisations about the theory of computation in distributive categories. Distributive categories have been proposed as a foundational tool for Computer Science in the last years, starting from the papers of R.F.C. Walters. We shall focus on two major topics: distributive computability, i.e., a generalized theory of computability...

Abstract Recent philosophical accounts of discrimination face challenges in accommodating robust intuitions about the particular way which it is wrongful—most prominently, intuition that discriminatory actions intrinsically violate equality irrespective their contingent consequences. The paper suggests we understand normative structure a different from one implicitly assumed by these accounts. ...

We examine two versions of maps between distributive laws as candidates for wellbehaved translations between structural operational semantics, and validate that by using simple coalgebraic arguments. We give some concrete examples of wellbehaved translations that are maps between distributive laws. The modelling of structural operational semantics uses Turi and Plotkin’s categorical models of G...

One hundred years after Marconi’s ground-breaking radio experiment and 50 years following Shannon’s pioneering contributions in information theory, the communications community is witnessing unprecedented growth in both the quality and quantity of communications services. While wireless communications practitioners are endeavoring to translate exciting recent developments into international sta...

the role of taxes in reduction of economic, inequalities, has been a controversial subject in recent decades. destructive effects of progressive taxes on efficiency and problems of tax compliance, have been considered in tax reform programs worldwide. introduction of an islamic income tax system; with all its progressive features, and its popularity seems to be effective in correcting the distr...

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