Developing Complementary Rough Inclusion Functions

We continue the formal development of rough inclusion functions (RIFs), continuing the research on the formalization of rough sets [15] – a well-known tool of modelling of incomplete or partially unknown information. In this article we give the formal characterization of complementary RIFs, followin...

Full description

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