Stability of the Blok theorem
From MaRDI portal
Publication:998759
DOI10.1007/s00012-008-2062-4zbMath1182.06005MaRDI QIDQ998759
Publication date: 29 January 2009
Published in: Algebra Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00012-008-2062-4
modal logic; duality; residuals; \(\omega\)-complete algebras; atomic algebras; BAOs; Blok's dichotomy; completely aditive operators; degree of incompleteness
03B45: Modal logic (including the logic of norms)
03G05: Logical aspects of Boolean algebras
06E25: Boolean algebras with additional operations (diagonalizable algebras, etc.)
Related Items
KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS, COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS, Expanding the Realm of Systematic Proof Theory