Acceso abierto

Formalizing Two Generalized Approximation Operators

Adam Grabowski

Adam Grabowski

Institute of Informatics, University of BiałystokPoland
Buscar este autor en
Sciendo|Google Scholar
Grabowski, Adam
 y 
Michał Sielwiesiuk

Michał Sielwiesiuk

Institute of Informatics, University of BiałystokPoland
Buscar este autor en
Sciendo|Google Scholar
Sielwiesiuk, Michał
  
24 dic 2018
Formalizing Two Generalized Approximation Operators's Cover Image
Acerca de este artículo
Artículo anterior
Artículo siguiente
Cite
Descargar portada
Publicado en línea: 24 dic 2018
Páginas: 183 - 191
Aceptado: 29 jun 2018
DOI: https://doi.org/10.2478/forma-2018-0016
Palabras clave
© 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].

Idioma:
Inglés
Calendario de la edición:
1 veces al año
Temas de la revista:
Matemáticas, Matemáticas generales, Informática, Informática, otros
RSS Feed de revista