Categorical abstract algebraic logic: The categorical Suszko operator

Abstract

AbstractCzelakowski introduced the Suszko operator as a basis for the development of a hierarchy of non‐protoalgebraic logics, paralleling the well‐known abstract algebraic hierarchy of protoalgebraic logics based on the Leibniz operator of Blok and Pigozzi. The scope of the theory of the Leibniz operator was recently extended to cover the case of, the so‐called, protoalgebraic π‐institutions. In the present work, following the lead of Czelakowski, an attempt is made at lifting parts of the theory of the Suszko operator to the π‐institution framework. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)