-
253Combining Algebraizable LogicsNotre Dame Journal of Formal Logic 37 (2): 366-380. 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
-
19Combining Algebraizable LogicsNotre Dame Journal of Formal Logic 37 (2): 366-380. 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.