Relational Formal Characterization of Rough Sets

DOI10.2478/FORMA-2013-0006zbMath1286.68428OpenAlexW2006653307MaRDI QIDQ2852183

Adam Grabowski

Publication date: 8 October 2013

Published in: Formalized Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2478/forma-2013-0006

zbMATH Keywords

rough setsrelational structuresapproximation operatorsMizar Mathematical Library

Mathematics Subject Classification ID

Theory of fuzzy sets, etc. (03E72) Knowledge representation (68T30)

Related Items (5)

Developing complementary rough inclusion functions ⋮ Topological interpretation of rough sets ⋮ Binary relations-based rough sets -- an automated approach ⋮ Formal development of rough inclusion functions ⋮ Formalizing two generalized approximation operators

Uses Software

• Mizar

Cites Work

• Unnamed Item
• Two views of the theory of rough sets in finite universes
• Generalized rough sets based on relations
• Rough sets

This page was built for publication: Relational Formal Characterization of Rough Sets