Notre Dame Journal of Formal Logic 46 (4):439-460 (2005)

An important part of the theory of algebraizable sentential logics consists of studying the algebraic semantics of these logics. As developed by Czelakowski, Blok, and Pigozzi and Font and Jansana, among others, it includes studying the properties of logical matrices serving as models of deductive systems and the properties of abstract logics serving as models of sentential logics. The present paper contributes to the development of the categorical theory by abstracting some of these model theoretic aspects and results from the level of sentential logics to the level of π-institutions
Keywords abstract algebraic logic   deductive systems   institutions   equivalent deductive systems   algebraizable deductive systems   adjunctions   equivalent institutions   algebraizable institutions   Leibniz congruence   Tarski congruence   algebraizable sentential logics
Categories (categorize this paper)
DOI 10.1305/ndjfl/1134397662
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 63,319
Through your library

References found in this work BETA

A Survey of Abstract Algebraic Logic.J. M. Font, R. Jansana & D. Pigozzi - 2003 - Studia Logica 74 (1-2):13 - 97.
Protoalgebraic Logics.W. J. Blok & Don Pigozzi - 1986 - Studia Logica 45 (4):337 - 369.
Equivalential Logics (II).Janusz Czelakowski - 1981 - Studia Logica 40 (4):355 - 372.

View all 10 references / Add more references

Citations of this work BETA

Categorical Abstract Algebraic Logic: More on Protoalgebraicity.George Voutsadakis - 2006 - Notre Dame Journal of Formal Logic 47 (4):487-514.

View all 7 citations / Add more citations

Similar books and articles


Added to PP index

Total views
31 ( #351,158 of 2,448,660 )

Recent downloads (6 months)
1 ( #447,034 of 2,448,660 )

How can I increase my downloads?


My notes