Pseudo-Kleene algebras determined by rough sets

04/12/2023

∙

by   Jouni Järvinen, et al.

∙

0

∙

share

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.