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.

翻译：我们研究了由自反关系确定的粗糙集有序集的Dedekind-MacNeille完备化中的伪Kleene代数。我们刻画了在这些伪Kleene代数上可以定义PBZ和PBZ*-格的情形。