Voutsadakis, George. “Categorical Abstract Logic: Hidden Multi-Sorted Logics As Multi-Term π-Institutions”. Bulletin of the Section of Logic 45, no. 2 (June 30, 2016): 111–124. Accessed April 29, 2024. https://czasopisma.uni.lodz.pl/bulletin/article/view/1481.