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.

翻译：我们研究了由自反关系确定的粗糙集有序集合的戴德金-麦克尼尔完备化中的伪克林代数。我们刻画了在这些伪克林代数上定义PBZ格与PBZ*格的情形。