2000 character limit reached
Pseudo-Kleene algebras determined by rough sets (2304.05641v2)
Published 12 Apr 2023 in math.RA and cs.DM
Abstract: 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.