Institution (computer science)
Semantic Scholar uses AI to extract papers important to this topic.
We develop an extension of institution theory that accommodates implicitly the partiality of the signature morphisms and its… Expand Institution theory is a categorical approach to abstract model theory free of commitment to any particular logical system. As… Expand Making jointly a semi formal language and a formal language can be seen as the transformation of a semi formal model into a… Expand We develop a general study of graded consequence (of many-valued logic) in an institution theoretic (in the sense of Goguen and… Expand The relocation of the wool market from London to the major Australian port cities from the late nineteenth century required the… Expand Research evaluation is a necessity for management of academic units (scientists, research groups, departments, institutes… Expand This paper addresses questions of universality related to ontological engineering, namely aims at substantiating (negative… Expand Formal generalized sketches is a graph-based specification format that borrows its main ideas from categorical and ordinary first… Expand The theory of “institutions”  is a categorical universal model theory which formalises the intuitive notion of logical system… Expand Abstract. Institutions formalise the intuitive notion of logical system, including syntax, semantics, and the relation of… Expand