Boolean algebras arising from information systems
type: Item
instance of: scholarly article
title: Boolean algebras arising from information systems
zbMATH Open document ID: 1063.06009
published in: Annals of Pure and Applied Logic
publication date: 2004-08-06T00:00:00Z
review text: 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.
Mathematics Subject Classification ID: 06E25
Mathematics Subject Classification ID: 03G05
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 2083192
zbMATH Keywords: Boolean algebras with additional operators
zbMATH Keywords: modal algebras
zbMATH Keywords: sufficiency algebras
zbMATH Keywords: mixed algebras
zbMATH Keywords: incomplete information
zbMATH Keywords: canonical extension
zbMATH Keywords: relative operators
zbMATH Keywords: Kripke frames
author: Ivo Düntsch
author: Ewa Orłowska
reviewed by: Nicolae Ţăndăreanu
MaRDI profile type: Publication
full work available at URL: j.apal.2003.11.009
OpenAlex ID: W1981329023
cites work: Q4250056
cites work: Incomplete information: Structure, inference, complexity
cites work: Relational attribute systems
cites work: Theory and Applications of Relational Structures as Knowledge Instruments
cites work: Q3478385
cites work: Q4313857
cites work: Monotone bounded distributive lattice expansions
cites work: The preservation of Sahlqvist equations in completions of Boolean algebras with operators
cites work: Varieties of complex algebras
cites work: Modal definability in enriched languages
cites work: Inaccessible worlds
cites work: On the canonicity of Sahlqvist identities
cites work: Boolean Algebras with Operators. Part I
cites work: Information algebras
cites work: Duality and canonical extensions of bounded distributive lattices with operators, and applications to the semantics of non-classical logics. II
cites work: Q4342096
cites work: Q4152589
DOI: 10.1016/J.APAL.2003.11.009
description: scientific article; zbMATH DE number 2083192