Pseudo-Kleene algebras determined by rough sets

Autor:	Järvinen, Jouni, Radeleczki, Sándor
Rok vydání:	2023
Předmět:	Mathematics - Rings and Algebras Computer Science - Discrete Mathematics
Druh dokumentu:	Working Paper
DOI:	10.1016/j.ijar.2023.108991
Popis:	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. Comment: 24 pages, minor update to the initial version
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/2304.05641 Zobrazit plný text záznamu View this record from Arxiv