---------- Is algebraic logic inactive? I mean the research developed by Paul Halmos.If so ,why?