Categorical abstract algebraic logic: The categorical Suszko operator

摘要

Czelakowski 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.