Developing complementary rough inclusion functions

DOI10.2478/forma-2020-0009zbMath1462.68226OpenAlexW3033064533MaRDI QIDQ2658816

Adam Grabowski

Publication date: 24 March 2021

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

Full work available at URL: https://doi.org/10.2478/forma-2020-0009

zbMATH Keywords

rough setrough inclusion functionSteinhaus generate metric

Mathematics Subject Classification ID

Theory of fuzzy sets, etc. (03E72) Reasoning under uncertainty in the context of artificial intelligence (68T37) Formalization of mathematics in connection with theorem provers (68V20)

Uses Software

• Mizar

Cites Work

• Unnamed Item
• Unnamed Item
• Binary relations-based rough sets -- an automated approach
• Formal development of rough inclusion functions
• Formalizing two generalized approximation operators
• Generalized rough sets based on relations
• Relational Formal Characterization of Rough Sets
• Rough Approximation Based on Weak q-RIFs
• On Duplication in Mathematical Repositories
• Rough sets
• Lattice Theory for Rough Sets – A Case Study with Mizar
• Efficient Rough Set Theory Merging
• On Certain Rough Inclusion Functions
• Encyclopedia of Distances

This page was built for publication: Developing complementary rough inclusion functions