A Gr\"atzer-Schmidt theorem for the Lindenbaum-Tarski algebra of IPC
  We prove a version of the Gr\"atzer-Schmidt theorem for the Lindenbaum-Tarski algebra associated to the Implicational Propositional Calculus. 
P.L. Robinson
math.RA