Abstract

We show that Grabowski lattices of substitutions are isomorphic to lattices generated by certain graphs, [3]. Since the latter are Heyting algebras, this will imply that so are the Grabowski lattices.