Notre Dame Journal of Formal Logic
- Notre Dame J. Formal Logic
- Volume 46, Number 4 (2005), 439-460.
Categorical Abstract Algebraic Logic: Models of π-Institutions
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.
Notre Dame J. Formal Logic, Volume 46, Number 4 (2005), 439-460.
First available in Project Euclid: 12 December 2005
Permanent link to this document
Digital Object Identifier
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
abstract algebraic logic deductive systems institutions equivalent deductive systems algebraizable deductive systems adjunctions equivalent institutions algebraizable institutions Leibniz congruence Tarski congruence algebraizable sentential logics
Voutsadakis, George. Categorical Abstract Algebraic Logic: Models of π-Institutions. Notre Dame J. Formal Logic 46 (2005), no. 4, 439--460. doi:10.1305/ndjfl/1134397662. https://projecteuclid.org/euclid.ndjfl/1134397662