A1 Refereed original research article in a scientific journal
REPRESENTING REGULAR PSEUDOCOMPLEMENTED KLEENE ALGEBRAS BY TOLERANCE-BASED ROUGH SETS
Authors: Järvinen J, Radeleczki S
Publisher: CAMBRIDGE UNIV PRESS
Publication year: 2018
Journal: Journal of the Australian Mathematical Society
Journal name in source: JOURNAL OF THE AUSTRALIAN MATHEMATICAL SOCIETY
Journal acronym: J AUST MATH SOC
Volume: 105
Issue: 1
First page : 57
Last page: 78
Number of pages: 22
ISSN: 1446-7887
DOI: https://doi.org/10.1017/S1446788717000283
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.
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.