##
Reports on Mathematical Logic

###
No. 42

George VOUTSADAKIS

Categorical Abstract Algebraic Logic:

Strong Version of a Protoalgebraic \(\pi\)-Institution
A b s t r a c t. An analog of the strong version of a protoalgebraic logic, introduced by Font and Jansana, is presented for
\(N\)-protoalgebraic \(\pi\)-institutions. Some properties of this strong version of an
\(N\)-protoalgebraic \(\pi\)-institution are explored and they are related to the explicit definability of
\(N\)-Leibniz theory systems. \(N\)-Leibniz theory systems

were introduced in previous work by the author, also taking after the corresponding theory of Font and Jansana in
the sentential framework.

Back to Main Menu