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 December 8, 2025. https://www.czasopisma.uni.lodz.pl/bulletin/article/view/1481.