2017
DOI: 10.15439/2017f553
|View full text |Cite
|
Sign up to set email alerts
|

Topological structures as a tool for formal modelling of rough sets

Abstract: Abstract-In the paper, we present the topological counterpart supporting rich formal apparatus describing properties of rough sets within one of the largest repositories of computerized mathematical knowledge, the Mizar Mathematical Library. The paper develops third and final (after lattice theory and the theory of general binary relations) planned path designed to be linked (via mechanisms of theory merging) with the theory of structures described by Pawlak in the early seventies of the previous century. We p… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1

Citation Types

0
1
0

Year Published

2020
2020
2023
2023

Publication Types

Select...
1
1

Relationship

0
2

Authors

Journals

citations
Cited by 2 publications
(1 citation statement)
references
References 23 publications
0
1
0
Order By: Relevance
“…Mizar is the name for both the proof checker and the formal language in which definitions and proofs are written. Mizar has often been described in the literature, for example in [19], [13], [10], [12] and [3]. We therefore here give only a very rough description of Mizar.…”
Section: The Mizar Systemmentioning
confidence: 99%
“…Mizar is the name for both the proof checker and the formal language in which definitions and proofs are written. Mizar has often been described in the literature, for example in [19], [13], [10], [12] and [3]. We therefore here give only a very rough description of Mizar.…”
Section: The Mizar Systemmentioning
confidence: 99%