The formalization of rough sets in a way understable to machines seems to be far beyond the test phase. For further research, we try to encode the bunch of classical papers within RST and as the testbed of already developed foundations of the theory we try to adopt the interval set model to put it within the existing set-theory machinery in the Mizar computer-checked repository.
Adam Grabowski, Magdalena Jastrzebska, Institute of Mathematics, University of Bialystok, ul. Akademicka 2, 15-267 Bialystok, Poland
Publication order reference
CEJSH db identifier