Voutsadakis, G. (2016). Categorical Abstract Logic: Hidden Multi-Sorted Logics as Multi-Term π-Institutions. Bulletin of the Section of Logic, 45(2), 111–124. https://doi.org/10.18778/0138-0680.45.2.04