No label defined (Q4360141)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1077010
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 1077010 |
Statements
10 November 1998
0 references
lattice of rough subsets
0 references
pseudo-Boolean algebras
0 references
rough sets
0 references
Heyting algebra
0 references
Boolean algebra
0 references
category of rough sets
0 references
0 references
0 references
0.8608555
0 references
0.85791135
0 references
0 references
0.8544169
0 references
0.8509021
0 references
0.8468061
0 references
The paper deals with algebraic structures related to rough sets, introduced by Pawlak in 1982. It is proved that the lattice of all rough subsets of a given rough set is a complete Heyting algebra. Necessary and sufficient conditions for the above lattice to be a Boolean algebra are presented. The relationships between rough sets and Heyting algebras (valued sets) is also analyzed in the framework of category theory. It is shown that the category of rough sets is isomorphic with the category of so-called rough 4-valued sets. It happens that an object isomorphic with a rough set need not be a rough set itself.
0 references
