CATEGORICAL ABSTRACT ALGEBRAIC LOGIC: GENTZEN (π)-INSTITUTIONS
George Voutsadakis · 2007
Josep Maria Font and Ramon Jansana, inspired by previous work of Cze-lakowski, Blok and Pigozzi and of other members of the Barcelona algebraic logic group, studied the interaction between the algebraization of deductive systems in the sense of Tarski and the algebraization of Gentzen systems, connected with the deduc-tive systems in various ways. Only recently, did the author extend the notion of a Gentzen system to the π-institution level and this extension provides the framework algebraic logic level.