Defining rough sets as core-support pairs of three-valued functions
arXiv:2011.03461 · doi:10.1016/j.ijar.2021.05.002
Abstract
We answer the question what properties a collection of three-valued functions on a set must fulfill so that there exists a quasiorder on such that the rough sets determined by coincide with the core--support pairs of the functions in . Applying this characterization, we give a new representation of rough sets determined by equivalences in terms of three-valued Łukasiewicz algebras of three-valued functions.
This version is accepted for publication in Approximate Reasoning (May 2021)