4 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…
Grzegorczyk and Whitehead points: the story continues
Rafał Gruszczyński, Santiago Jockwich Martinez
One of the main goals of region-based theories of space is to formulate a geometrically appealing definition of points. The paper is devoted to the analysis of two such seminal def…
From contact relations to modal operators, and back
Rafał Gruszczyński, Paula Menchón
One of the standard axioms for Boolean Contact Algebras says that if a region x is in contact with the join of y and z, then x is in contact with at least one of the two regions. O…
Mathematical methods in region-based theories of space: the case of Whitehead points
Rafał Gruszczyński
Regions-based theories of space aim -- among others -- to define points in a geometrically appealing way. The most famous definition of this kind is probably due to Whitehead. Howe…