Representing regular pseudocomplemented Kleene algebras by tolerance-based rough sets

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.

Title modified from the first version. Repaired one proof. Changes in terminology

References in corpus (1)

• Tolerances induced by irredundant coverings

Cited by in corpus (6)

• Defining rough sets using tolerances compatible with an equivalence
• Pseudo-Kleene algebras determined by rough sets
• Nelson algebras, residuated lattices and rough sets: A survey
• Defining rough sets as core-support pairs of three-valued functions
• The structure of rough sets defined by reflexive relations
• Prime filter structures of pseudocomplemented Kleene algebras and representation by rough sets