•  243
    Combining Algebraizable Logics
    with Á Kurucz and Á. E. Eiben
    Notre 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
  •  8
    Combining Algebraizable Logics
    with Á E. Eiben and Á Kurucz
    Notre 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.