arXiv Open Access 2017

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

Răzvan Diaconescu

Lihat Sumber

Abstrak

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.

Topik & Kata Kunci

math.LO

Penulis (1)

Răzvan Diaconescu

Format Sitasi

APA MLA BibTeX

Diaconescu, R. (2017). 3/2-Institutions: an institution theory for conceptual blending. https://arxiv.org/abs/1708.09675

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2017
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓