Notre Dame Journal of Formal Logic 37 (2):366-380 (1996)

András Jánossy
Eotvos Lorand University of Sciences
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
Keywords mathematical logic  algebraic logic  combination of different logics  category theory  category of algebraizable logics
Categories (categorize this paper)
DOI 10.1305/ndjfl/1040046092
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

References found in this work BETA

Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Equivalential and Algebraizable Logics.Burghard Herrmann - 1996 - Studia Logica 57 (2-3):419 - 436.
Implicit Connectives of Algebraizable Logics.Xavier Caicedo - 2004 - Studia Logica 78 (1-2):155 - 170.
Weakly Algebraizable Logics.Janusz Czelakowski & Ramon Jansana - 2000 - Journal of Symbolic Logic 65 (2):641-668.
Combining Logics.Walter Carnielli & Marcelo E. Coniglio - 2008 - Stanford Encyclopedia of Philosophy.
Combining Possibilities and Negations.Greg Restall - 1997 - Studia Logica 59 (1):121-141.
Zooming in, Zooming Out.Patrick Blackburn & Maarten de Rijke - 1997 - Journal of Logic, Language and Information 6 (1):5-31.


Added to PP index

Total views
73 ( #159,470 of 2,518,720 )

Recent downloads (6 months)
4 ( #167,151 of 2,518,720 )

How can I increase my downloads?


My notes