Stability of the Blok theorem

DOI10.1007/S00012-008-2062-4zbMath1182.06005OpenAlexW1968707841MaRDI QIDQ998759

Tadeusz Litak

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

zbMATH Keywords

modal logicdualityresiduals\(\omega\)-complete algebrasatomic algebrasBAOsBlok's dichotomycompletely aditive operatorsdegree of incompleteness

Mathematics Subject Classification ID

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

Related Items (4)

Universal algebraic methods for non-classical logics ⋮ KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS ⋮ Expanding the Realm of Systematic Proof Theory ⋮ COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS

This page was built for publication: Stability of the Blok theorem