Stability of the Blok theorem

From MaRDI portal

Revision as of 20:38, 30 January 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:998759

Jump to:navigation, search

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 logic duality residuals \(\omega\)-complete algebras atomic algebras BAOs Blok's dichotomy completely aditive operators degree 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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:998759&oldid=12989210"