A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä
REPRESENTING REGULAR PSEUDOCOMPLEMENTED KLEENE ALGEBRAS BY TOLERANCE-BASED ROUGH SETS
Tekijät: Järvinen J, Radeleczki S
Kustantaja: CAMBRIDGE UNIV PRESS
Julkaisuvuosi: 2018
Journal: Journal of the Australian Mathematical Society
Tietokannassa oleva lehden nimi: JOURNAL OF THE AUSTRALIAN MATHEMATICAL SOCIETY
Lehden akronyymi: J AUST MATH SOC
Vuosikerta: 105
Numero: 1
Aloitussivu: 57
Lopetussivu: 78
Sivujen määrä: 22
ISSN: 1446-7887
DOI: https://doi.org/10.1017/S1446788717000283
Tiivistelmä
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.
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.