Uneingeschränkter Zugang

Formalizing Two Generalized Approximation Operators

Adam Grabowski

Adam Grabowski

Institute of Informatics, University of BiałystokPoland
Suche nach diesem Autor auf
Sciendo|Google Scholar
Grabowski, Adam
 und 
Michał Sielwiesiuk

Michał Sielwiesiuk

Institute of Informatics, University of BiałystokPoland
Suche nach diesem Autor auf
Sciendo|Google Scholar
Sielwiesiuk, Michał
  
24. Dez. 2018
Formalizing Two Generalized Approximation Operators's Cover Image
Über diesen Artikel
Vorheriger Artikel
Nächster Artikel
Zitieren
COVER HERUNTERLADEN
Online veröffentlicht: 24. Dez. 2018
Seitenbereich: 183 - 191
Akzeptiert: 29. Juni 2018
DOI: https://doi.org/10.2478/forma-2018-0016
Schlüsselwörter
© 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].

Sprache:
Englisch
Zeitrahmen der Veröffentlichung:
1 Hefte pro Jahr
Fachgebiete der Zeitschrift:
Mathematik, Mathematik, Allgemeines, Informatik, Informatik, andere
Zeitschrift RSS Feed