---------- Is algebraic logic inactive? I mean the research developed by Paul Halmos.If so ,why?And anyone could give some reference for overview of it's history?