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
Journal: 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.
Ladattava julkaisu This is an electronic reprint of the original article. |  |
