Reports on Mathematical Logic

No. 36


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.

Back to Main Menu