Categorical abstract algebraic logic: categorical algebraization of first-order logic without terms (Q1778066)

This paper, together with the preceding one [Log. J. IGPL 12, No.~4, 313--333 (2004; Zbl 1067.03069)], forms part of the author's programme, begun in his 1998 doctoral dissertation and pursued in a lengthy sequence of subsequent papers, of reformulating traditional logical systems in a categorical algebraic framework, based on the notion of institution introduced by Goguen and Burstall. The preceding paper dealt with (single-sorted) equational logic, while the present one treats (classical) first-order logic without terms (i.e., without primitive function symbols). Both papers rely heavily on notation, and are not easy reading for those not already well-versed in this subject.