arXiv++ Combinatorics

Browse math.CO papers from arXiv

Representing regular pseudocomplemented Kleene algebras by tolerance-based rough sets

Published: 2016-10-31 | Updated: 2017-06-11
Comments: Title modified from the first version. Repaired one proof. Changes in terminology
Journal: Journal of the Australian Mathematical Society 105, 57-78 (2018)

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.

BibTeX

Loading...