What are current trends/questions in algebraic logic? I mean the research developed by Paul Halmos.


Could anyone give some references for the overview of its history? Any overview of its application to computer science and computability theory is welcome.



What are current trends/questions in algebraic logic?
I ran across this today, and was reminded of this question: I think the article "[Algebraic logic, Where does it stand today?](https://www.jstor.org/stable/3396712)" by T. S. Ahmed addresses your question.


