Subdirectly irreducible double Heyting algebras

DOI10.1007/BF02482903zbMath0431.06014MaRDI QIDQ1138007

R. Beazer

Publication date: 1980

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

zbMATH Keywords

bounded latticedouble Heyting algebrasubdirectly irreducible Heyting algebrassubdirectly irreducible regular double p-algebras

Mathematics Subject Classification ID

Lattices of varieties (08B15) Heyting algebras (lattice-theoretic aspects) (06D20)

Related Items (6)

Subdirectly irreducibles for various pseudocomplemented algebras ⋮ Finitely subdirectly irreducible algebras with pseudocomplementation ⋮ On congruence lattices of some p-algebras and double p-algebras ⋮ Universal algebras ⋮ The semi Heyting-Brouwer logic ⋮ Expansions of semi-Heyting algebras. I: Discriminator varieties

Cites Work

• A subdirectly irreducible double Heyting algebra which is not simple
• P-algebras, an abstraction from Post algebras
• Injective double Stone algebras
• The determination congruence on double p-algebras
• The structure of distributive double p-algebras. Regularity and congruences

This page was built for publication: Subdirectly irreducible double Heyting algebras