Prime filter structures of pseudocomplemented Kleene algebras and representation by rough sets (Q2300122)

There is a well-known sheme, first applied by \textit{T. B. Iwiński} [Bull. Pol. Acad. Sci., Math. 35, No. 1--10, 673--683 (1987; Zbl 0639.68125)] to equivalence relations, how to construct a rough set algebra over some set \(U\) starting from a binary relation \(R\) on \(U\). The authors have shown in [J. Aust. Math. Soc. 105, No. 1, 57--78 (2018; Zbl 06901718)] that the rough set algebra induced in this way by the tolerance determined by an irredundant covering of \(U\) is a pseudocomplemented Kleene algebra and that any regular pseudocomplemented Kleene algebra \(L\) is isomorphic to such a rough set algebra if the underlaying lattice of \(L\) is algebraic. The latter result is now extended as follows: any regular pseudocomplemented Kleene algebra \(L\) is embeddable into a rough set algebra of the mentioned kind. An essential tool for proving this, Kleene-Varlet spaces, is introduced here. Further, regular pseudocomplemented Kleene algebras satisfying the Stone identity are shown to be in a bijective correspodence with regular double Stone algebras and embeddable into a rough set algebra defined by an equivalence relation. Kleene-Varlet spaces of such Kleene algebras also are considered.