Characterising regular double Stone and pseudocomplemented Kleene algebras in completions of rough sets induced by reflexive relations
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 the 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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2603.26883
curl -X POST /api/v1/records/arxiv/2603.26883/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2603.26883/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'