Formal Development of Rough Inclusion Functions

Rough sets, developed by Pawlak [15], are important tool to describe situation of incomplete or partially unknown information. In this article, continuing the formalization of rough sets [12], we give the formal characterization of three rough inclusion functions (RIFs). We start with the standard o...

Full description

Bibliographic Details
Main Author: Grabowski Adam
Format: Article
Language:English
Published: Sciendo 2019-12-01
Series:Formalized Mathematics
Subjects:
Online Access:https://doi.org/10.2478/forma-2019-0028