Combining algebraizable logics (Q1815433)

Combining algebraizable logics is regarded in the paper as forming their colimit in the category ALOG of algebraizable logical systems. (The authors use the latter term just for what is called an algebraizable deductive system by \textit{W. J. Blok} and \textit{D. Pigozzi}, Algebraizable logics'', Mem. Am. Math. Soc. 396 (1989; Zbl 0664.03042)].) In fact, two categories are dealt with. It is proved that ALOG is isomorphic to a certain category QVAR of first-order theories each related to some ``deductivized'' quasivariety of a fixed type. Moreover, it is the category QVAR that is shown to be small-cocomplete. The paper ends with a sketchy program for further studies of combining arbitrary logics by translating them into ordinary first-order logic.