Categorical abstract algebraic logic: more on protoalgebraicity (Q2372683): Difference between revisions

\(\pi\)-institutions arose within formal specification theory as a meta-theory for multi-signature deductive systems, independently of the actual details of the logic involved. This paper is part of the great programme undertaken by the same author to generalize algebraization of deductive systems resp. sentential logic (as developed by Blok, Pigozzi, Font, Jansana, etc.) to the level of \(\pi\)-institutions. Protoalgebraic \(\pi\)-institutions have been introduced recently by the same author as an analog of protoalgebraic sentential logics with the intention of extending the Leibniz hierarchy from the concrete sentential framework to the abstract \(\pi\)-institutions framework. The current work is a continuation of previous work by the author by advancing the lifting of properties of protoalgebraic logics from the sentential to the \(\pi\)-institutions level.