Categorical abstract algebraic logic: prealgebraicity and protoalgebraicity (Q2642521)

One of the most important contributions of the theory of abstract algebraic logic has been the use of the Leibniz operator in classifying logics in different steps of a hierarchy that roughly reflects the extent to which a logic may be studied using algebraic methods. The most important steps in this hierarchy, known as the Leibniz hierarchy, are the classes of protoalgebraic (see [\textit{W. J. Blok} and \textit{D. Pigozzi}, Stud. Log. 45, 337--369 (1986; Zbl 0622.03020)] and [\textit{J. Czelakowski}, Stud. Log. 43, 353--377 (1984; Zbl 0578.03012)]), equivalential (see [\textit{J. Czelakowski}, Stud. Log. 40, 227--236 (1981; Zbl 0476.03032), Stud. Log. 40, 355--372 (1981; Zbl 0492.03008)]) and algebraizable logics (see [\textit{W. J. Blok} and \textit{D. Pigozzi}, Mem. Am. Math. Soc. 396 (1989; Zbl 0664.03042)]). In this paper two classes of \(\pi\)-institutions are studied whose properties are similar to those of the protoalgebraic deductive systems of Blok and Pigozzi. The first is the class of \(N\)-protoalgebraic \(\pi\)-institutions and the second is the wider class of \(N\)-prealgebraic \(\pi\)-institutions. Several characterizations are provided. For instance, \(N\)-prealgebraic \(\pi\)-institutions are exactly those \(\pi\)-institutions that satisfy monotonicity of the \(N\)-Leibniz operator on theory systems and \(N\)-protoalgebraic \(\pi\)-institutions those that satisfy monotonicity of the \( N\)-Leibniz operator on theory families.