Translator Disclaimer
Spring 1996 Combining Algebraizable Logics
Á. E. Eiben, A. Jánossy, Á. Kurucz
Notre Dame J. Formal Logic 37(2): 366-380 (Spring 1996). DOI: 10.1305/ndjfl/1040046092

Abstract

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.

Citation

Download Citation

Á. E. Eiben. A. Jánossy. Á. Kurucz. "Combining Algebraizable Logics." Notre Dame J. Formal Logic 37 (2) 366 - 380, Spring 1996. https://doi.org/10.1305/ndjfl/1040046092

Information

Published: Spring 1996
First available in Project Euclid: 16 December 2002

zbMATH: 0858.03065
MathSciNet: MR1403823
Digital Object Identifier: 10.1305/ndjfl/1040046092

Subjects:
Primary: 03Gxx
Secondary: 03B22, 03C05

Rights: Copyright © 1996 University of Notre Dame

JOURNAL ARTICLE
15 PAGES


SHARE
Vol.37 • No. 2 • Spring 1996
Back to Top