Lattice theory for rough sets -- a case study with Mizar
From MaRDI portal
Publication:4589200
DOI10.3233/FI-2016-1406zbMATH Open1419.68164OpenAlexW2554707563MaRDI QIDQ4589200FDOQ4589200
Authors: Adam Grabowski 
Publication date: 9 November 2017
Published in: Fundamenta Informaticae (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.3233/fi-2016-1406
Recommendations
Cited In (14)
- On fuzzy negations and laws of contraposition. Lattice of fuzzy negations
- Mechanizing complemented lattices within Mizar type system
- On two alternative axiomatizations of lattices by McKenzie and Sholander
- Computer certification of generalized rough sets based on relations
- Building a framework of rough inclusion functions by means of computerized proof assistant
- Efficient rough set theory merging
- Developing complementary rough inclusion functions
- The role of the Mizar mathematical library for interactive proof development in Mizar
- Formalizing lattice-theoretical aspects of rough and fuzzy sets
- Formal introduction to fuzzy implications
- Initial comparison of formal approaches to fuzzy and rough sets
- Formal development of rough inclusion functions
- Formalizing two generalized approximation operators
- Automated Comparative Study of Some Generalized Rough Approximations
Uses Software
This page was built for publication: Lattice theory for rough sets -- a case study with Mizar
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4589200)
