Voutsadakis G. Categorical Abstract Logic: Hidden Multi-Sorted Logics as Multi-Term π-Institutions. B Sect Log. 2016;45(2):111–124. doi:10.18778/0138-0680.45.2.04