3/2-Institutions: an institution theory for conceptual blending

Abstract

We develop an extension of institution theory that accommodates implicitly the partiality of the signature morphisms and its syntactic and semantic effects. This is driven primarily by applications to conceptual blending, but other application domains are possible (such as software evolution). The particularity of this extension is a reliance on ordered-enriched categorical structures.

Cited by in corpus (1)

• Generic partiality for $\frac{3}{2}$-institutions