The notion of institution is dissected into somewhat weaker notions. We introduce a novel notion of institution morphism, and characterize preservation of institution properties by corresponding properties of such morphisms. Target of this work is the stepwise construction of a general framework for translating logics, and algebraic specifications using logical systems. Earlier translations of order-sorted conditional equational logic and of conditional equational logics for partial algebras into equational type logic are revisited in this light. Model-theoretic results relating to compactness are presented as well.
|Name||Lecture notes in computer science|
|Conference||8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop 1991|
|Period||26/08/91 → 30/08/91|