Categorical Abstract Algebraic Logic Metalogical Properties

Metalogical properties that have traditionally been studied in the deductive system context (see, e.g., 21]) and transferred later to the institution context 33], are here formulated in the -institution context. Preservation under deductive equivalence of -institutions is investigated. If a property is known to hold in all algebraic -institutions and is preserved under deductive equivalence, then it follows that it holds in all algebraizable -institutions in the sense of 36].