Contexts where entity descriptions belong to a meet-semilattice are considered. When the entity set is finite, we show that nonempty extensions of concepts assigned to such contexts coincide, casewise, with strong or weak clusters associated with some pairwise or multiway dissimilarity measure. Moreover, by duality principle, a similar result holds when entity descriptions belong to a join-semi...

Munn’s construction of a fundamental inverse semigroup TE from a semilattice E provides an important tool in the study of inverse semigroups. We present here a semigroup FE that plays for a class of E-semiadequate semigroups the role that TE plays for inverse semigroups. Every inverse semigroup with semilattice of idempotents E is E-semiadequate. There are however many interesting E-semiadequat...

A quasi-implication algebra is introduced as an algebraic counterpart of an implication reduct of propositional logic having noninvolutory negation (e.g. intuitionistic logic). We show that every pseudocomplemented semilattice induces a quasi-implication algebra (but not conversely). On the other hand, a more general algebra, a so-called pseudocomplemented q-semilattice is introduced and a mutu...

In Huang and Weng (2004), Huang and Weng introduced pooling spaces, and constructed pooling designs from a pooling space. In this paper, we introduce the concept of pooling semilattices and prove that a pooling semilattice is a pooling space, then show how to construct pooling designs from a pooling semilattice. Moreover, we give many examples of pooling semilattices and thus obtain the corresp...

Part I proved that for every quasivariety K of structures (which may have both operations and relations) there is a semilattice S with operators such that the lattice of quasiequational theories of K (the dual of the lattice of sub-quasivarieties of K) is isomorphic to Con(S,+, 0,F). It is known that if S is a join semilattice with 0 (and no operators), then there is a quasivariety Q such that ...