Adam KOLANY:
Grabowski Lattices are Generated by Graphs
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.