Formalizing Lattice-Theoretical Aspects of Rough and Fuzzy Sets
From MaRDI portal
Publication:3300368
DOI10.1007/978-3-319-25754-9_31zbMath1444.68291OpenAlexW2281106124MaRDI QIDQ3300368
Takashi Mitsuishi, Adam Grabowski
Publication date: 28 July 2020
Published in: Rough Sets and Knowledge Technology (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-25754-9_31
Theory of fuzzy sets, etc. (03E72) Reasoning under uncertainty in the context of artificial intelligence (68T37) Logical aspects of lattices and related structures (03G10) Formalization of mathematics in connection with theorem provers (68V20)
Related Items (1)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Mechanizing complemented lattices within Mizar type system
- Covering based rough set approximations
- Rough set theory applied to lattice theory
- Topological approaches to covering rough sets
- Fuzzy arithmetic with requisite constraints
- An algebraic formalization of fuzzy relations
- Two views of the theory of rough sets in finite universes
- Interval analysis and fuzzy set theory
- Methods of lemma extraction in natural deduction proofs
- On rewriting rules in Mizar
- The formal construction of fuzzy numbers
- Monitoring, security, and rescue techniques in multiagent systems. Selected contributions presented at the international workshop ``Monitoring, security, and rescue techniques in multiagent systems (MSRAS 2004), Płock, Poland, June 7--9, 2004.
- Generalized rough sets based on relations
- L-fuzzy sets
- A Brief Overview of Mizar
- ROUGH FUZZY SETS AND FUZZY ROUGH SETS*
- Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar
- Lattice Theory for Rough Sets
- Operations on fuzzy numbers
- Automated Discovery of Properties of Rough Sets
- Fuzzy sets
This page was built for publication: Formalizing Lattice-Theoretical Aspects of Rough and Fuzzy Sets
