Pseudo-Kleene algebras determined by rough sets
Rings and Algebras
2023-10-27 v2 Discrete Mathematics
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.
Keywords
Cite
@article{arxiv.2304.05641,
title = {Pseudo-Kleene algebras determined by rough sets},
author = {Jouni Järvinen and Sándor Radeleczki},
journal= {arXiv preprint arXiv:2304.05641},
year = {2023}
}
Comments
24 pages, minor update to the initial version