Ultraproducts and possible worlds semantics in institutions
Theoretical Computer Science
CALCO'11 Proceedings of the 4th international conference on Algebra and coalgebra in computer science
Interpolation for predefined types
Mathematical Structures in Computer Science
Behavioral extensions of institutions
CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science
An axiomatic approach to structuring specifications
Theoretical Computer Science
Institutional semantics for many-valued logics
Fuzzy Sets and Systems
Parameterisation for abstract structured specifications
Theoretical Computer Science
| Hi-index | 0.00 |
We generalize the method of diagrams from conventional model theory to a simple institution-independent (i.e. independent of the details of the actual logic formalized as an institution) framework based on a novel categorical concept of elementary diagram of a model. We illustrate the power of our institution-independent method of elementary diagrams by developing several applications to institution liberality, institution-independent quasi-varieties, and limits and colimits of presentation models. The results obtained are illustrated systematically with examples from several different specification logics. In the introduction we also discuss the relevance of our institution-independent approach to the model theory of algebraic specification and computing science, but also to conventional and abstract model theory.