Is algebraic logic out of date?I mean the research developed by Paul Halmos.If so ,why?