Categorical Abstract Logic: Hidden Multi-Sorted Logics as Multi-Term π-Institutions
scientific article; zbMATH DE number 6808535