Quasi-modal algebras. (English) Zbl 0999.06012

Summary: In this paper we introduce the class of Boolean algebras with an operator between the algebra and the set of ideals of the algebra. This is a generalization of the Boolean algebras with operators. We prove that there exists a duality between these algebras and the Boolean spaces with a certain relation. We also give some applications of this duality.


06E25 Boolean algebras with additional operations (diagonalizable algebras, etc.)
03G05 Logical aspects of Boolean algebras
Full Text: DOI EuDML