Publication:2824540
From MaRDI portal
zbMath1363.06008MaRDI QIDQ2824540
Publication date: 6 October 2016
06D20: Heyting algebras (lattice-theoretic aspects)
06D05: Structure and representation theory of distributive lattices
06B10: Lattice ideals, congruence relations