Automated Comparative Study of Some Generalized Rough Approximations

DOI10.3233/FI-2021-2019WikidataQ114038165 ScholiaQ114038165MaRDI QIDQ5164851

Adam Grabowski

Publication date: 15 November 2021

Published in: Fundamenta Informaticae (Search for Journal in Brave)

zbMATH Keywords

formalization of mathematicsMizar mathematical libraryrough approximation

Mathematics Subject Classification ID

Computer science (68-XX)

Uses Software

• Mizar
• Logic2CNF
• Archive Formal Proofs

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Four decades of {\textsc{Mizar}}. Foreword
• Mechanizing complemented lattices within Mizar type system
• Automating Boolean set operations in Mizar proof checking with the aid of an external SAT solver
• Covering based rough set approximations
• Rough sets and current trends in computing. 7th international conference, RSCTC 2010, Warsaw, Poland, June 28--30,2010. Proceedings
• The role of the Mizar mathematical library for interactive proof development in Mizar
• Some minimal axiom sets of rough sets
• Two views of the theory of rough sets in finite universes
• Formalizing two generalized approximation operators
• Fundamental properties of fuzzy implications
• Generalized rough sets based on relations
• Mining the Archive of Formal Proofs
• Lattice Theory for Rough Sets – A Case Study with Mizar
• Computer Certification of Generalized Rough Sets Based on Relations
• Efficient Rough Set Theory Merging
• Mathematical Knowledge Management
• Automated Discovery of Properties of Rough Sets
• On Certain Rough Inclusion Functions

This page was built for publication: Automated Comparative Study of Some Generalized Rough Approximations