Tolerance approximation spaces
Fundamenta Informaticae - Special issue: rough sets
Modal logics for local and global similarity relations
Fundamenta Informaticae
A note on proximity spaces and connection based mereology
Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001
Distance Measures Induced by Finite Approximation Spaces and Approximation Operators
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
A New Proof on Embedding the Category of Proximity Spaces into the Category of Nearness Spaces
Fundamenta Informaticae
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
| Hi-index | 0.00 |
The present paper investigates approximation spaces in the context of mathematical structures which axiomatise the notion of nearness. Starting with the framework of information quanta which distinguishes two levels of information structures, namely property systems (the first level) and information quantum relational systems (the second level), we shall introduce the notion of Pawlak property system. These systems correspond bijectively to finite approximation spaces, i.e. their respective information quantum relational systems. Then we characterise Pawlak property systems in terms of symmetric topological spaces. In the second part of the paper, these systems are defined by means of topological structures based on the concept of nearness. We prove that the category of Pawlak property systems is isomorphic to the category of finite topological nearness spaces and provide its additional topological characterisation.