Combining Algebraizable Logics
Á. E. Eiben, A. Jánossy, Agi Kurucz · Notre Dame Journal of Formal Logic · 1996
The general methodology of "algebraizing" logics is used here for combining different logics. The combination of logics is represented as taking the colimit of the constituent logics in the category of algebraizable logics. The cocompleteness of this category as well as its isomorphism to the corresponding category of certain first-order theories are proved.