Boolean algebras arising from information systems (Q598303)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Boolean algebras arising from information systems |
scientific article |
Statements
Boolean algebras arising from information systems (English)
0 references
6 August 2004
0 references
The authors investigate some classes of Boolean algebras with additional operators that arise in connection with incomplete information. New results on sufficiency algebras are presented, the canonical extension of an algebra is extended to sufficiency algebras and properties of these extensions are investigated. The mixed algebras, which have both modal and sufficiency operators in their signature, are studied and the concept of Boolean algebra with relative operators is introduced.
0 references
Boolean algebras with additional operators
0 references
modal algebras
0 references
sufficiency algebras
0 references
mixed algebras
0 references
incomplete information
0 references
canonical extension
0 references
relative operators
0 references
Kripke frames
0 references
0 references
