Building specifications in an arbitrary institution
Proc. of the international symposium on Semantics of data types
Journal of the ACM (JACM)
Some fundamental algebraic tools for the semantics of computation, part 3: indexed categories
Theoretical Computer Science
Conditional rewriting logic as a unified model of concurrency
Selected papers of the Second Workshop on Concurrency and compositionality
Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
A logical theory of concurrent objects and its realization in the Maude language
Research directions in concurrent object-oriented programming
Logical support for modularisation
Papers presented at the second annual Workshop on Logical environments
On a generalized modularization theorem
Information Processing Letters - Special issue analytical theory of fuzzy control with applications
Generalized interpolation in CASL
Information Processing Letters
Logical foundations of cafeOBJ
Theoretical Computer Science - Rewriting logic and its applications
CASL: the common algebraic specification language
Theoretical Computer Science
Logical systems for structured specifications
Theoretical Computer Science
Comorphism-Based Grothendieck Logics
MFCS '02 Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science
Selected papers from the 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop on Recent Trends in Data Type Specification
Unifying Theories in Different Institutions
Selected papers from the 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop on Recent Trends in Data Type Specification
Moving Between Logical Systems
Selected papers from the 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop on Recent Trends in Data Type Specification
Bits and Pieces of the Theory of Institutions
Proceedings of the Tutorial and Workshop on Category Theory and Computer Programming
A semantic approach to interpolation
Theoretical Computer Science
A semantic approach to interpolation
FOSSACS'06 Proceedings of the 9th European joint conference on Foundations of Software Science and Computation Structures
Interpolation for predefined types
Mathematical Structures in Computer Science
An axiomatic approach to structuring specifications
Theoretical Computer Science
Interpolation in logics with constructors
Theoretical Computer Science
| Hi-index | 5.23 |
It is well known that interpolation properties of logics underlying specification formalisms play an important rule 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 multi-logic 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 non-trivial 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.