REPRESENTING REGULAR PSEUDOCOMPLEMENTED KLEENE ALGEBRAS BY TOLERANCE-BASED ROUGH SETS



: Järvinen J, Radeleczki S

Publisher: CAMBRIDGE UNIV PRESS

: 2018

: Journal of the Australian Mathematical Society

: JOURNAL OF THE AUSTRALIAN MATHEMATICAL SOCIETY

: J AUST MATH SOC

: 105

: 1

: 57

: 78

: 22

: 1446-7887

DOI: https://doi.org/10.1017/S1446788717000283


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.



Last updated on 2024-26-11 at 18:46