A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä
Prime filter structures of pseudocomplemented Kleene algebras and representation by rough sets
Tekijät: J. Järvinen, S. Radeleczki
Kustantaja: Akademiai Kiado Rt.
Julkaisuvuosi: 2020
Lehti: Acta Mathematica Hungarica
Tietokannassa oleva lehden nimi: Acta Mathematica Hungarica
Vuosikerta: 160
Numero: 1
Aloitussivu: 175
Lopetussivu: 196
Sivujen määrä: 22
ISSN: 0236-5294
eISSN: 1588-2632
DOI: https://doi.org/10.1007/s10474-019-00985-8
Rinnakkaistallenteen osoite: https://research.utu.fi/converis/portal/detail/Publication/43785240
We
introduce Kleene–Varlet spaces as partially ordered sets equipped with a
polarity satisfying certain additional conditions. By applying
Kleene–Varlet spaces, we prove that each regular pseudocomplemented
Kleene algebra
is isomorphic to a subalgebra of the rough set regular
pseudocomplemented Kleene algebra defined by a tolerance induced by an
irredundant covering. We also characterize the Kleene–Varlet spaces
corresponding to the regular pseudocomplemented
Kleene algebras satisfying the Stone identity.
Avainsanat:
prime filter, pseudocomplemented Kleene algebra, regular double p-algebra, rough set, Stone identity, tolerance induced by an irredundant covering
Ladattava julkaisu This is an electronic reprint of the original article. |  |
