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.
A soft stairway to institutions
SCOLLO, Giuseppe
1993-01-01
Abstract
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.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.