Relational formal characterization of rough sets

DOI10.2478/FORMA-2013-0006zbMATH Open1286.68428OpenAlexW2006653307MaRDI QIDQ2852183FDOQ2852183

Authors: 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

Recommendations

• Formalizing two generalized approximation operators
• Binary relations-based rough sets -- an automated approach
• scientific article; zbMATH DE number 2222702
• Topological interpretation of rough sets
• scientific article; zbMATH DE number 754434

zbMATH Keywords

rough setsapproximation operatorsrelational structuresMizar Mathematical Library

Mathematics Subject Classification ID

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

Cites Work

• Rough sets
• Title not available (Why is that?)
• Two views of the theory of rough sets in finite universes
• Generalized rough sets based on relations

Cited In (8)

• Rough relation properties
• Developing complementary rough inclusion functions
• Topological interpretation of rough sets
• Rough set analysis of relational structures
• Initial comparison of formal approaches to fuzzy and rough sets
• Binary relations-based rough sets -- an automated approach
• Formal development of rough inclusion functions
• Formalizing two generalized approximation operators

Uses Software

• Mizar

This page was built for publication: Relational formal characterization of rough sets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2852183)