Pseudo-Kleene algebras determined by rough sets
Jouni Järvinen, Sändor Radeleczki · International Journal of Approximate Reasoning · 2023
We study the pseudo-Kleene algebras of the Dedekind–MacNeille completion of the ordered set of rough set determined by a reflexive relation. We characterize the cases when PBZ and PBZ*-lattices can be defined on these pseudo-Kleene algebras.