Presenting and combining inference systems presentations with inference rules

The paper discusses the problem of representing and combining inference systems for (abstract) context institutions, within the framework of context presentations [10]. As it turns out, thanks to the context information present in this setting, the inference rules for quantifier logics can be expressed and manipulated in a simple way, without referring to binding operators or requirements (cf. [12]).