Displaying similar documents to “Rough relation properties”

Binary Relations-based Rough Sets – an Automated Approach

Adam Grabowski (2016)

Formalized Mathematics

Similarity:

Rough sets, developed by Zdzisław Pawlak [12], are an important tool to describe the state of incomplete or partially unknown information. In this article, which is essentially the continuation of [8], we try to give the characterization of approximation operators in terms of ordinary properties of underlying relations (some of them, as serial and mediate relations, were not available in the Mizar Mathematical Library [11]). Here we drop the classical equivalence- and tolerance-based...