Kleene and Stone algebras of rough sets induced by reflexive relations
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866917411205152768 |
|---|---|
| author | Järvinen, Jouni Radeleczki, Sándor |
| author_facet | Järvinen, Jouni Radeleczki, Sándor |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2603_26883 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Kleene and Stone algebras of rough sets induced by reflexive relations Järvinen, Jouni Radeleczki, Sándor Rings and Algebras Logic in Computer Science Primary 68T37, 06D30, Secondary 06B23, 03E20 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. |
| title | Kleene and Stone algebras of rough sets induced by reflexive relations |
| topic | Rings and Algebras Logic in Computer Science Primary 68T37, 06D30, Secondary 06B23, 03E20 |
| url | https://arxiv.org/abs/2603.26883 |