The 0-distributive semilattice is characterized in terms of semiideals, ideals and filters. Some sufficient conditions and some necessary conditions for 0-distributivity are obtained. Counterexamples are given to prove that certain conditions are not necessary and certain conditions are not sufficient.

We prove that for any variety V, the existence of an edge-term (defined in [1]) and Jónsson terms is equivalent to the existence of a near-unanimity term. We also characterize the idempotent Maltsev conditions which are defined by a system of linear absorption equations and which imply congruence distributivity.

An algorithm to decide the emptiness of a regular type expression with set operators given a set of parameterized type definitions is presented. The algorithm generalizes previous work in that tuple distributivity is not assumed and set operators are permitted in type expressions.

We present quantum query and time complexity bounds for group testing problems. For a set S and a binary operation on S, we consider the decision problem whether a groupoid, semigroup or quasigroup is a group. Our quantum algorithms for these problems improve the best known classical complexity bounds. We also present upper and lower bounds for testing associativity, distributivity and commutat...

Niniejszy artykuł omawia konstrukcję o interpretacji dystrybutywnej w czeskim języku migowym. Wyraża się ją za pomocą reduplikacji z wykorzystaniem punktów referencjalnych przestrzeni migowej i przypomina ona dystrybutywne znaczenie dwurzeczownikowego użycia kwantyfikatora każdy, znane języków mówionych. Niemniej istnieją znaczące różnice pomiędzy reduplikacją migowym a dystrybutywnością mówion...