94 citations · 94 across the 8 of their papers we have counts for
3 papers · 1 filter
Contact relations on bounded distributive lattices and related structures
Ivo Düntsch, Rafał Gruszczyński
We study a discrete representation of contact relations on bounded distributive lattices and some of their reducts. In the course of the paper, we apply ideas and techniques develo…
A mixed logic with binary operators
Ivo Düntsch, Rafał Gruszczyński, Paula Menchón
In previous work "Betweenness algebras" we introduced and examined the class of betweenness algebras. In the current paper we study a larger class of algebras with binary operators…
Betweenness algebras
Ivo Duentsch, Rafal Gruszczynski, Paula Menchon
We introduce and study a class of betweenness algebras-Boolean algebras with binary operators, closely related to ternary frames with a betweenness relation. From various axioms fo…