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

And anyone could give some reference for overview of it's history?

Also any overview of it's application to computer science and computability theory is welcome

This version of the question is suggested by Noah S.

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 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.

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

And anyone could give some reference for overview of it's history?

Also any overview of it's application to computer science and computability theory is welcome

This version of the question is suggested by Noah S.

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?

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.