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 *-格的情况。