Boolean algebras are one of the main algebraic tools in the region-based theory of space. T. Ivanova provided strong motivations for the study of mere semilattices with a contact relation. Another significant motivation for considering an even weaker underlying structure comes from event structures with binary conflict in the theory of concurrent systems in computer science. All the above-hinted notions deal with a binary contact relation. Several authors suggested the more general study of n-ary ‘hypercontact’ relations. A similar evolution occurred (...) in the study of the just mentioned event structures in computer science. To unify the above lines of research, in this paper, we study joining semilattices with a hypercontact relation. We provide representation theorems into Boolean algebras. With a single exception, our proofs are choice-free. We also present several examples and problems; in particular, we briefly discuss some connections with event structures and hypergraphs. (shrink)

In the present paper, we study the correspondence and canonicity theory of modal subordination algebras and their dual Stone space with two relations, generalizing correspondence results for subordination algebras in [13–15, 25]. Due to the fact that the language of modal subordination algebras involves a binary subordination relation, we will find it convenient to use the so-called quasi-inequalities and $\varPi _{2}$-statements. We use an algorithm to transform (restricted) inductive quasi-inequalities and (restricted) inductive $\varPi _{2}$-statements to equivalent first-order correspondents on the (...) dual Stone spaces with two relations with respect to arbitrary (resp. admissible) valuations. (shrink)