A subdirectly irreducible double Heyting algebra which is not simple

DOI10.1007/BF02482901zbMath0431.06015OpenAlexW2014085735MaRDI QIDQ1138008

Peter Köhler

Publication date: 1980

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

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

zbMATH Keywords

congruencesbounded distributive latticenormal filterstriple constructiondouble Heyting algebra

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Lattice ideals, congruence relations (06B10) Subalgebras, congruence relations (08A30)

Related Items (9)

Nonmodular lattices derived from distributive ones representing qualitative biologic interactions ⋮ Changing algebras in low energy biologic relational processes ⋮ Subdirectly irreducible double Heyting algebras ⋮ REVIEW: THE ALGEBRAIC RELATIONAL THEORY AND ITS APPLICATIONS ⋮ The semi Heyting-Brouwer logic ⋮ On logics with coimplication ⋮ Expansions of semi-Heyting algebras. I: Discriminator varieties ⋮ About the correspondences between dual Heyting arrow lattices of a distributive lattice and its sublattices for relational biologic systems ⋮ On the Blok-Esakia Theorem

Cites Work

• The structure of distributive double p-algebras. Regularity and congruences

This page was built for publication: A subdirectly irreducible double Heyting algebra which is not simple