Open Access

Formalizing Two Generalized Approximation Operators

Adam Grabowski

Adam Grabowski

Institute of Informatics, University of BiałystokPoland
Search for this author on
Sciendo|Google Scholar
Grabowski, Adam
 and 
Michał Sielwiesiuk

Michał Sielwiesiuk

Institute of Informatics, University of BiałystokPoland
Search for this author on
Sciendo|Google Scholar
Sielwiesiuk, Michał
  
Dec 24, 2018
Formalizing Two Generalized Approximation Operators's Cover Image
About this article
Previous Article
Next Article
Cite
Download Cover
Published Online: Dec 24, 2018
Page range: 183 - 191
Accepted: Jun 29, 2018
DOI: https://doi.org/10.2478/forma-2018-0016
Keywords
© 2018 Adam Grabowski et al., published by Sciendo
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.

Rough sets, developed by Pawlak [15], are important tool to describe situation of incomplete or partially unknown information. In this article we give the formal characterization of two closely related rough approximations, along the lines proposed in a paper by Gomolińska [2]. We continue the formalization of rough sets in Mizar [1] started in [6].

Language:
English
Publication timeframe:
1 times per year
Journal Subjects:
Mathematics, General Mathematics, Computer Sciences, Computer Sciences, other
Journal RSS Feed