Categorical abstract algebraic logic: The categorical Suszko operator |
| |
Authors: | George Voutsadakis |
| |
Institution: | School of Mathematics and Computer Science, Lake Superior State University, Sault Sainte Marie, MI 49783, USA |
| |
Abstract: | 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. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim) |
| |
Keywords: | Leibniz operato Suszko operator protoalgebraic logics algebraizable logics N ‐congruence systems N ‐Leibniz congruence system N ‐Suszko congruence system protoalgebraic π ‐institutions |
|
|