Categorical Abstract Logic: Hidden Multi-Sorted Logics as Multi-Term π-Institutions
type: Item
instance of: scholarly article
title: Categorical Abstract Logic: Hidden Multi-Sorted Logics as Multi-Term π-Institutions
zbMATH Open document ID: 1423.03260
DOI: 10.18778/0138-0680.45.2.04
author: George Voutsadakis
published in: Bulletin of the Section of Logic
publication date: 2017-11-17T00:00:00Z
Mathematics Subject Classification ID: 03G27
Mathematics Subject Classification ID: 03G30
Mathematics Subject Classification ID: 18C10
zbMATH DE Number: 6808535
MaRDI profile type: MaRDI publication profile
full work available at URL: https://doi.org/10.18778/0138-0680.45.2.04
OpenAlex ID: W2619922421
description: scientific article; zbMATH DE number 6808535