Voutsadakis, George. 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.