Kleene and Stone algebras of rough sets induced by reflexive relations
Abstract
We consider Kleene and Stone algebras defined on the completion DM(RS) of the ordered set of rough sets induced by a reflexive relation. We focus on cases where the completion forms a spatial and completely distributive lattice. We derive the conditions under which DM(RS) is a regular pseudocomplemented Kleene algebra and a completely distributive double Stone algebra. Finally, we describe the reflexive relations for which DM(RS) forms a regular double Stone algebra, which is the same structure as in the case of equivalences. Our results generalise earlier findings on algebras of rough sets induced by equivalences, quasiorders, and tolerance relations.
Keywords
Cite
@article{arxiv.2603.26883,
title = {Kleene and Stone algebras of rough sets induced by reflexive relations},
author = {Jouni Järvinen and Sándor Radeleczki},
journal= {arXiv preprint arXiv:2603.26883},
year = {2026}
}
Comments
24 pages, 4 figures. Title updated. Introduction significantly rewritten to improve clarity. References updated