2000 character limit reached
Representing regular pseudocomplemented Kleene algebras by tolerance-based rough sets (1610.09847v2)
Published 31 Oct 2016 in math.CO, cs.FL, cs.LO, and math.RT
Abstract: We show that any regular pseudocomplemented Kleene algebra defined on an algebraic lattice is isomorphic to a rough set Kleene algebra determined by a tolerance induced by an irredundant covering.