Institution morphisms Export

@misc{citeulike:1154249, abstract = {Institutions formalize the intuitive notion of logical system, including both syntax and semantics. A surprising number of different notions of morphism have been suggested for forming categories with institutions as objects, and a surprising variety of names have been proposed for them. One goal of this paper is to suggest a terminology that is both uniform and informative to replace the current rather chaotic nomenclature. Another goal is to investigate the properties and interrelations of...}, author = {Goguen, J. and Rosu, G.}, citeulike-article-id = {1154249}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.32.7754}, keywords = {abstract-machines, abstract-model-theory, institutions}, posted-at = {2009-07-09 11:34:13}, priority = {2}, title = {Institution morphisms}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.32.7754}, year = {2001} }

TY - GEN ID - citeulike:1154249 L3 - citeulike-article-id:1154249 N2 - Institutions formalize the intuitive notion of logical system, including both syntax and semantics. A surprising number of different notions of morphism have been suggested for forming categories with institutions as objects, and a surprising variety of names have been proposed for them. One goal of this paper is to suggest a terminology that is both uniform and informative to replace the current rather chaotic nomenclature. Another goal is to investigate the properties and interrelations of... TI - Institution morphisms KW - abstract-machines KW - abstract-model-theory KW - institutions AU - Goguen, J AU - Rosu, G PY - 2001/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.32.7754 ER -