Formalizing Lattice-Theoretical Aspects of Rough and Fuzzy Sets (Q3300368): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-25754-9_31
+Normal rank
@@ Property / OpenAlex ID @@
+W2281106124
@@ Property / OpenAlex ID: W2281106124 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4892370
@@ Property / cites work: Q4892370 / rank @@
+Normal rank
@@ Property / cites work @@
+Operations on fuzzy numbers
@@ Property / cites work: Operations on fuzzy numbers / rank @@
+Normal rank
@@ Property / cites work @@
+ROUGH FUZZY SETS AND FUZZY ROUGH SETS*
@@ Property / cites work: ROUGH FUZZY SETS AND FUZZY ROUGH SETS* / rank @@
+Normal rank
@@ Property / cites work @@
+Rough set theory applied to lattice theory
@@ Property / cites work: Rough set theory applied to lattice theory / rank @@
+Normal rank
@@ Property / cites work @@
+L-fuzzy sets
@@ Property / cites work: L-fuzzy sets / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanizing complemented lattices within Mizar type system
+Normal rank
@@ Property / cites work @@
+The formal construction of fuzzy numbers
@@ Property / cites work: The formal construction of fuzzy numbers / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Discovery of Properties of Rough Sets
@@ Property / cites work: Automated Discovery of Properties of Rough Sets / rank @@
+Normal rank
@@ Property / cites work @@
+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.
+Normal rank
@@ Property / cites work @@
+Q3075247
@@ Property / cites work: Q3075247 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4399900
@@ Property / cites work: Q4399900 / rank @@
+Normal rank
@@ Property / cites work @@
+Lattice Theory for Rough Sets
@@ Property / cites work: Lattice Theory for Rough Sets / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic formalization of fuzzy relations
@@ Property / cites work: An algebraic formalization of fuzzy relations / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy arithmetic with requisite constraints
@@ Property / cites work: Fuzzy arithmetic with requisite constraints / rank @@
+Normal rank
@@ Property / cites work @@
+On rewriting rules in Mizar
@@ Property / cites work: On rewriting rules in Mizar / rank @@
+Normal rank
@@ Property / cites work @@
+Interval analysis and fuzzy set theory
@@ Property / cites work: Interval analysis and fuzzy set theory / rank @@
+Normal rank
@@ Property / cites work @@
+A Brief Overview of Mizar
@@ Property / cites work: A Brief Overview of Mizar / rank @@
+Normal rank
@@ Property / cites work @@
+Q4003537
@@ Property / cites work: Q4003537 / rank @@
+Normal rank
@@ Property / cites work @@
+Methods of lemma extraction in natural deduction proofs
+Normal rank
@@ Property / cites work @@
+Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar
+Normal rank
@@ Property / cites work @@
+Q5302561
@@ Property / cites work: Q5302561 / rank @@
+Normal rank
@@ Property / cites work @@
+Two views of the theory of rough sets in finite universes
+Normal rank
@@ Property / cites work @@
+Covering based rough set approximations
@@ Property / cites work: Covering based rough set approximations / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy sets
@@ Property / cites work: Fuzzy sets / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized rough sets based on relations
@@ Property / cites work: Generalized rough sets based on relations / rank @@
+Normal rank
@@ Property / cites work @@
+Topological approaches to covering rough sets
@@ Property / cites work: Topological approaches to covering rough sets / rank @@
+Normal rank