A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Categorical Abstract Algebraic Logic: Models of π-Institutions
2005
Notre Dame Journal of Formal Logic
Preserved Fulltext
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
doi:10.1305/ndjfl/1134397662
fatcat:ekxowqepm5ewplbzdeqd2fenk4