Categorical Abstract Algebraic Logic: Models of π-Institutions
Voutsadakis, George
Notre Dame J. Formal Logic, Tome 46 (2005) no. 3, p. 439-460 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
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.
Publié le : 2005-10-14
Classification:  abstract algebraic logic,  deductive systems,  institutions,  equivalent deductive systems,  algebraizable deductive systems,  adjunctions,  equivalent institutions,  algebraizable institutions,  Leibniz congruence,  Tarski congruence,  algebraizable sentential logics,  03Gxx,  18Axx,  68N05 
@article{1134397662,
     author = {Voutsadakis, George},
     title = {Categorical Abstract Algebraic Logic: Models of $\pi$-Institutions},
     journal = {Notre Dame J. Formal Logic},
     volume = {46},
     number = {3},
     year = {2005},
     pages = { 439-460},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1134397662}
}

Voutsadakis, George. Categorical Abstract Algebraic Logic: Models of π-Institutions. Notre Dame J. Formal Logic, Tome 46 (2005) no. 3, pp.  439-460. http://gdmltest.u-ga.fr/item/1134397662/