Reports on Mathematical Logic

No. 42

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