Formalizing Two Generalized Approximation Operators
Adam Grabowski, Michał Sielwiesiuk · Formalized Mathematics · 2018
Summary 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].