Boolean algebras arising from information systems

DOI10.1016/j.apal.2003.11.009zbMath1063.06009OpenAlexW1981329023MaRDI QIDQ598303

Ewa S. Orłowska, Ivo Duentsch

Publication date: 6 August 2004

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2003.11.009

zbMATH Keywords

Kripke framesincomplete informationmodal algebrascanonical extensionBoolean algebras with additional operatorsmixed algebrasrelative operatorssufficiency algebras

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Logical aspects of Boolean algebras (03G05) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25)

Related Items (6)

Neighborhood operators for covering-based rough sets ⋮ Mixed algebras and their logics ⋮ Algebras for Galois-style connections and their discrete duality ⋮ An overview of the asymmetric bipolar representation of positive and negative information in possibility theory ⋮ MODAL, NECESSITY, SUFFICIENCY AND CO-SUFFICIENCY OPERATORS ⋮ A simple logic for reasoning about incomplete knowledge

Cites Work

• Modal definability in enriched languages
• Inaccessible worlds
• On the canonicity of Sahlqvist identities
• Duality and canonical extensions of bounded distributive lattices with operators, and applications to the semantics of non-classical logics. II
• Varieties of complex algebras
• Relational attribute systems
• Information algebras
• Boolean Algebras with Operators. Part I
• Theory and Applications of Relational Structures as Knowledge Instruments
• The preservation of Sahlqvist equations in completions of Boolean algebras with operators
• Incomplete information: Structure, inference, complexity
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Boolean algebras arising from information systems