A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä
Monteiro Spaces and Rough Sets Determined by Quasiorder Relations: Models for Nelson algebras
Tekijät: Jarvinen J, Radeleczki S
Kustantaja: IOS PRESS
Julkaisuvuosi: 2014
Journal: Fundamenta Informaticae
Tietokannassa oleva lehden nimi: FUNDAMENTA INFORMATICAE
Lehden akronyymi: FUND INFORM
Vuosikerta: 131
Numero: 2
Aloitussivu: 205
Lopetussivu: 215
Sivujen määrä: 11
ISSN: 0169-2968
DOI: https://doi.org/10.3233/FI-2014-1010
Tiivistelmä
The theory of rough sets provides a widely used modern tool, and in particular, rough sets induced by quasiorders are in the focus of the current interest, because they are strongly interrelated with the applications of preference relations and intuitionistic logic. In this paper, a structural characterisation of rough sets induced by quasiorders is given. These rough sets form Nelson algebras defined on algebraic lattices. We prove that any Nelson algebra can be represented as a subalgebra of an algebra defined on rough sets induced by a suitable quasiorder. We also show that Monteiro spaces, rough sets induced by quasiorders and Nelson algebras defined on T-0-spaces that are Alexandrov topologies can be considered as equivalent structures, because they determine each other up to isomorphism.
The theory of rough sets provides a widely used modern tool, and in particular, rough sets induced by quasiorders are in the focus of the current interest, because they are strongly interrelated with the applications of preference relations and intuitionistic logic. In this paper, a structural characterisation of rough sets induced by quasiorders is given. These rough sets form Nelson algebras defined on algebraic lattices. We prove that any Nelson algebra can be represented as a subalgebra of an algebra defined on rough sets induced by a suitable quasiorder. We also show that Monteiro spaces, rough sets induced by quasiorders and Nelson algebras defined on T-0-spaces that are Alexandrov topologies can be considered as equivalent structures, because they determine each other up to isomorphism.
Turun yliopiston Tutkimustietojärjestelmän portaali