Rough sets. Mathematical foundations (Q1872778)

Rough sets, similarly to fuzzy sets, have been invented to cope with uncertainty. The textbook ``Rough Sets -- Mathematical Foundations'' of Lech Polkowski intends to give a complete and self-contained exposition of all the relevant material. It covers all essential results in mathematical theory of rough sets and comes with more than 320 carefully selected and commented exercises that give additional hints and background to the reader. Finally it provides a profound reference to the area of mathematical foundations of rough set theory. The book consists of four parts ``Rough Sets'', ``Prerequisites'', ``Mathematics of Rough Sets'' and ``Rough vs. Fuzzy''. Part 1, consisting of Chapter 1, presents moreover a bibliography of 420 recent research papers in rough set theory. Part 2 consists of chapters 2 to 9. Chapter 2 presents a short but precise and rigorous course in sentential logic covering the classical deductive theory as well as the Gentzen-style axiomatization in the version due to Kanger. Chapter 3 exposes Syllogistic which appears as one of the main logical reflexions of rough set theory. Chapter 4 starts to introduce finite many valued logics, in particular the 3-valued and 4-valued logics of Łukasiewicz were discussed in detail. Chapter 5 discusses modal logics and Kripke semantics. Chapter 6 exposes set theory. Beside of naive set theory basic constructions of formal set theory are discussed. Chapter 7 is devoted to topological structures and discusses important results of theoretic topology among them compactness and completeness. Chapter 8 gives the basic notions of lattice theory and prepares Chapters 10 and 12 in which rough sets are discussed in an abstract setting of lattices. Chapter 9, finally, concerns predicate calculus. Part 3 consists of chapters 10 to 12. Chapter 10 discusses independence results pertaining to rough sets. While Chapter 11 is devoted a discussion of topological properties of rough sets. Chapter 12 studies their algebraic properties. The last Part 4 consists of chapters 13 and 14. Chapter 13 introduces the reader to the mathematical world associated with fuzzy set theory and contrasts it with the 3-valued world of rough set theory. The final and concluding Chapter 14 deepens and underlines this contrast.