---------- What are current trends/questions in algebraic logic? I mean the research developed by Paul Halmos.If so ,why?And anyone could give some reference for overview of it's history? This version of the question is suggested by Noah S.