The lattice of varieties of modal algebras is not strongly atomic

DOI10.1007/BF02483108zbMath0457.08003OpenAlexW2003611270MaRDI QIDQ1150644

Willem J. Blok

Publication date: 1980

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02483108

zbMATH Keywords

ultraproductlattices of subvarietiescongruence distributive varietiesvariety of modal algebras

Mathematics Subject Classification ID

Lattices of varieties (08B15) Other algebras related to logic (03G25) Congruence modularity, congruence distributivity (08B10) Distributive lattices (06D99)

Related Items (8)

Bjarni Jónsson's contributions in algebra ⋮ European Summer Meeting of the Association for Symbolic Logic ⋮ On varieties of cylindric algebras with applications to logic ⋮ On the lattice of extensions of the modal logics \(KAlt_ n\) ⋮ In memory of Willem Johannes Blok 1947-2003 ⋮ Willem Blok and modal logic ⋮ Post complete and 0-axiomatizable modal logics ⋮ Algebraization of quantifier logics, an introductory overview

Cites Work

• Unnamed Item
• Der Verband der normalen verzweigten Modallogiken
• The lattice of modal logics: an algebraic investigation
• Algebras Whose Congruence Lattices are Distributive.
• Equational Bases and Nonmodular Lattice Varieties
• Boolean Algebras with Operators. Part I

This page was built for publication: The lattice of varieties of modal algebras is not strongly atomic