Contact relations on bounded distributive lattices and related structures
Ivo Düntsch, Rafał Gruszczyński
Abstract
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 developed by Ivo Düntsch, Dimiter Vakarelov, and Michael Winter, and we show---among others---that contact relations on a distributive join semi-lattice L with the bottom element correspond to reflexive and symmetric relations which are closed in the product of the Stone space of L.
Create a lesson
Related papers
Stalnaker's logical problem of conditionals is unsolvable
Alexander W. Kocurek, James Walsh, Yale Weiss
Strong completeness of the logic J
Juan P. Aguilera, Grigorii Stepanov
Lévy-Montague reflection is Π11-conservative over WKL0
Fedor Pakhomov
Embeddings of Propositional Logics into the Provability Logics S and D
Mashu Noguchi
Some results on NIP groups and their Ellis groups
Atticus Stonestrom
Group-extensive embeddings into Fraïssé structures and stationary weak independence relations
Aleksandra Kwiatkowska, Rob Sullivan, Jeroen Winkel