Results 1 
2 of
2
Extra Theory Morphisms for Institutions: logical semantics for multiparadigm languages
, 1996
"... We extend the ordinary concept of theory morphism in institutions to extra theory morphisms. Extra theory morphism map theories belonging to different institutions across institution morphisms. We investigate the basic mathematical properties of extra theory morphisms supporting the semantics of log ..."
Abstract

Cited by 26 (7 self)
 Add to MetaCart
We extend the ordinary concept of theory morphism in institutions to extra theory morphisms. Extra theory morphism map theories belonging to different institutions across institution morphisms. We investigate the basic mathematical properties of extra theory morphisms supporting the semantics of logical multiparadigm languages, especially structuring specifications (module systems) a la OBJClear. They include model reducts, free constructions (liberality), colimits, model amalgamation (exactness), and inclusion systems. We outline a general logical semantics for languages whose semantics satisfy certain "logical" principles by extending the institutional semantics developed within the ClearOBJ tradition. Finally, in the Appendix, we briefly illustrate it with the concrete example of CafeOBJ. Keywords Algebraic specification, Institutions, Theory morphism. AMS Classifications 68Q65, 18C10, 03G30, 08A70 2 1 Introduction Computing Motivation This work belongs to the research are...
Interpolation in Grothendieck Institutions
 THEORETICAL COMPUTER SCIENCE
, 2003
"... It is well known that interpolation properties of logics underlying specification formalisms play an important role in the study of structured specifications, they have also many other useful logical consequences. In this paper, we solve the interpolation problem for Grothendieck institutions which ..."
Abstract

Cited by 24 (3 self)
 Add to MetaCart
It is well known that interpolation properties of logics underlying specification formalisms play an important role in the study of structured specifications, they have also many other useful logical consequences. In this paper, we solve the interpolation problem for Grothendieck institutions which have recently emerged as an important mathematical structure underlying heterogenous multilogic specification. Our main result can be used in the applications in several different ways. It can be used to establish interpolation properties for multilogic Grothendieck institutions, but also to lift interpolation properties from unsorted logics to their many sorted variants. The importance of the latter resides in the fact that, unlike other structural properties of logics, many sorted interpolation is a nontrivial generalisation of unsorted interpolation. The concepts, results, and the applications discussed in this paper are illustrated with several examples from conventional logic and algebraic specification theory.