View of Categorical Abstract Logic: Hidden Multi-Sorted Logics as Multi-Term π-Institutions

Return to Article Details Categorical Abstract Logic: Hidden Multi-Sorted Logics as Multi-Term π-Institutions Download Download PDF