Formal development of rough inclusion functions
From MaRDI portal
Publication:2305345
DOI10.2478/FORMA-2019-0028zbMath1433.68577OpenAlexW3007862444MaRDI QIDQ2305345
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
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)
Uses Software
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