Categorical Abstract Algebraic Logic: Equivalential π-Institutions
The theory of equivalential deductive systems, as introduced by Prucnal and Wroński and further developed by Czelakowski, is abstracted to cover the case of logical systems formalized as π-Institutions. More precisely, the notion of an N-equivalence system for a given π-Institutions is introduced. A characterization theorem for N-equivalence systems, previously proven for N-parameterized equivalence systems, is revisited and a “transfer theorem” for N-equivalence systems is proven. For a π-Institutions I having an N-equivalence system, the maximum such system is singled out and, then, an analog of Herrmann’s Test, characterizing those N-protoalgebraic π-Institutions having an N-equivalence system, is formulated. Finally, some of the rudiments of matrix theory are revisited in the context of π-Institutions, as they relate to the existence of N-equivalence systems.