PL EN


2009 | 18(31) | 25-34
Article title

TWO FORMAL APPROACHES TO ROUGH SETS

Selected contents from this journal
Title variants
Languages of publication
EN
Abstracts
EN
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.
Keywords
Year
Issue
Pages
25-34
Physical description
Document type
ARTICLE
Contributors
  • Adam Grabowski, Magdalena Jastrzebska, Institute of Mathematics, University of Bialystok, ul. Akademicka 2, 15-267 Bialystok, Poland
References
Document Type
Publication order reference
Identifiers
CEJSH db identifier
11PLAAAA10162
YADDA identifier
bwmeta1.element.2ca75b2e-808a-3f6b-8a99-6204fb420c84
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.