Stability of the Blok theorem

DOI10.1007/S00012-008-2062-4MaRDI QIDQ998759zbMATH OpenOpenAlexFDO

Authors 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

residualsdualitymodal logic\(\omega\)-complete algebrasatomic algebrasBAOsBlok's dichotomycompletely aditive operatorsdegree of incompleteness

Mathematics Subject Classification ID

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

Recommendations

• On the Blok-Esakia theorem
• Willem Blok's contribution to abstract algebraic logic
• Elementary generation and canonicity for varieties of Boolean algebras with operators
• Atomless varieties
• scientific article; zbMATH DE number 4110759

Cited in

(6)

• On the Blok-Esakia theorem
• Kripke completeness of strictly positive modal logics over meet-semilattices with operators
• COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS
• Atomless varieties
• Expanding the Realm of Systematic Proof Theory
• Universal algebraic methods for non-classical logics

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q998759)