×

zbMATH — the first resource for mathematics

The criterion of Brouwerian and closure algebras to be finitely generated. (English) Zbl 0407.03048

MSC:
03G10 Logical aspects of lattices and related structures
06D20 Heyting algebras (lattice-theoretic aspects)
03B45 Modal logic (including the logic of norms)
03B55 Intermediate logics
06E15 Stone spaces (Boolean spaces) and related structures
08A30 Subalgebras, congruence relations
PDF BibTeX XML Cite