Categorical abstract algebraic logic: The Diagram and the Reduction Operator Lemmas.

George Voutsadakis Categorical abstract algebraic logic: The Diagram and the Reduction Operator Lemmas. 147-161 2007 53 Math. Log. Q. 2 http://dx.doi.org/10.1002/malq.200610034 db/journals/mlq/mlq53.html#Voutsadakis07