Atomless Varieties
Yde Venema

Abstract:
We define a nontrivial variety of boolean algebras with operators such
that every member of the variety is atomless. This shows that not
every variety of boolean algebras with operators is generated by its
atomic members, and thus establishes a strong incompleteness result in
(multi-)modal logic.