Stability of the Blok theorem

DOI10.1007/S00012-008-2062-4zbMATH Open1182.06005OpenAlexW1968707841MaRDI QIDQ998759FDOQ998759

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

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

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)

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)