Categorical abstract algebraic logic: on admissible equivalence systems
The paper extends the study of Babenyshev and Martins about the relationship between equivalence systems for sentential logics and admissible equivalence systems to the case of the logics formalized abstractly as \(\pi\)-institutions.
scientific article; zbMATH DE number 6077962