REPRESENTING REGULAR PSEUDOCOMPLEMENTED KLEENE ALGEBRAS BY TOLERANCE-BASED ROUGH SETS

REPRESENTING REGULAR PSEUDOCOMPLEMENTED KLEENE ALGEBRAS BY TOLERANCE-BASED ROUGH SETS

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.

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Journal of the Australian Mathematical Society (2001) 2018-08, Vol.105 (1), p.57-78
Hauptverfasser: JÄRVINEN, JOUNI, RADELECZKI, SÁNDOR
Format: Artikel
Sprache:eng
Schlagworte:
Algebra
Lattices (mathematics)
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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.
ISSN:1446-7887
1446-8107
DOI:10.1017/S1446788717000283