Grabowski lattices are generated by graphs
Adam Kolany · Reports on Mathematical Logic · 2002
A b s t r a c t. We show that Grabowski lattices of substitutions (see [1], [2]) are isomorphic to lattices generated by certain graphs, [3]. Since the latter are Heyting algebras, this will imply that so are the Grabowski lattices.