Voutsadakis G. Categorical Abstract Logic: Hidden Multi-Sorted Logics as Multi-Term π-Institutions. B Sect Log [Internet]. 2016 Jun. 30 [cited 2024 Apr. 29];45(2):111–124. Available from: https://czasopisma.uni.lodz.pl/bulletin/article/view/1481