Formal development of rough inclusion functions

DOI10.2478/FORMA-2019-0028zbMath1433.68577OpenAlexW3007862444MaRDI QIDQ2305345

Adam Grabowski

Publication date: 10 March 2020

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

Full work available at URL: https://doi.org/10.2478/forma-2019-0028

zbMATH Keywords

rough setapproximation spacerough inclusion

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)

Related Items (1)

Developing complementary rough inclusion functions

Uses Software

• Mizar

Cites Work

• Four decades of {\textsc{Mizar}}. Foreword
• Binary relations-based rough sets -- an automated approach
• Rough mereology: A new paradigm for approximate reasoning
• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Formal development of rough inclusion functions