language: en

The Institution of order-sorted equational logic

Grigore Ro~su
University of Bucharest, Faculty of Mathematics, Department of Computer Science
Str. Academiei 14, R70109, ROMANIA

Abstract The paper provides an organisation of order-sorted equational logic as an Institution.

1 Introduction