Pseudo-Kleene algebras determined by rough sets
arXiv:2304.05641 · doi:10.1016/j.ijar.2023.108991
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.
arXiv comment24 pages, minor update to the initial version
References in corpus (5)
- Rough Sets Determined by Quasiorders
- Information completeness in Nelson algebras of rough sets induced by quasiorders
- Representation of Nelson Algebras by Rough Sets Determined by Quasiorders
- Representing regular pseudocomplemented Kleene algebras by tolerance-based rough sets
- The structure of multigranular rough sets