Matches in SemOpenAlex for { <https://semopenalex.org/work/W2983055408> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W2983055408 abstract "Category theory provides an excellent foundation for studying structured speci0cations and their composition. For example, theories can be structured together in a diagram, and their composition can be obtained as a colimit. There is, however, a growing awareness, both in theory and in practice, that structured theories should not be viewed just as the “sca3olding” used to build unstructured theories: they should become )rst-class citizens in the speci0cation process. Given a logic formalized as an institution I, we therefore ask whether there is a good de0nition of the category of structured I-theories, and whether they can be naturally regarded as the ordinary theories of an appropriate institution S(I) generalizing the original institution I. We answer both questions in the a;rmative, and study good properties of the institution I inherited by S(I). We show that, under natural conditions, a number of important properties are indeed inherited, including cocompleteness of the category of theories, liberality, and extension of the basic framework by freeness constraints. The results presented here have been used as a foundation for the module algebra of the Maude language, and seem promising as a semantic basis for a generic module algebra that could be both speci0ed and executed within the logical framework of rewriting logic. c © 2003 Elsevier B.V. All rights reserved." @default.
- W2983055408 created "2019-11-22" @default.
- W2983055408 creator A5022913067 @default.
- W2983055408 date "2003-01-01" @default.
- W2983055408 modified "2023-10-01" @default.
- W2983055408 title "Structured theories and institutions" @default.
- W2983055408 cites W1496280540 @default.
- W2983055408 cites W1573165138 @default.
- W2983055408 cites W1606163819 @default.
- W2983055408 cites W1668251188 @default.
- W2983055408 cites W1992383986 @default.
- W2983055408 cites W1997197283 @default.
- W2983055408 cites W2010883554 @default.
- W2983055408 cites W206056444 @default.
- W2983055408 cites W2120713972 @default.
- W2983055408 cites W2914821813 @default.
- W2983055408 cites W2986017963 @default.
- W2983055408 cites W90258948 @default.
- W2983055408 hasPublicationYear "2003" @default.
- W2983055408 type Work @default.
- W2983055408 sameAs 2983055408 @default.
- W2983055408 citedByCount "0" @default.
- W2983055408 crossrefType "journal-article" @default.
- W2983055408 hasAuthorship W2983055408A5022913067 @default.
- W2983055408 hasConcept C111472728 @default.
- W2983055408 hasConcept C136119220 @default.
- W2983055408 hasConcept C138885662 @default.
- W2983055408 hasConcept C144024400 @default.
- W2983055408 hasConcept C154690210 @default.
- W2983055408 hasConcept C166957645 @default.
- W2983055408 hasConcept C17744445 @default.
- W2983055408 hasConcept C199360897 @default.
- W2983055408 hasConcept C199539241 @default.
- W2983055408 hasConcept C202444582 @default.
- W2983055408 hasConcept C20693621 @default.
- W2983055408 hasConcept C2776608160 @default.
- W2983055408 hasConcept C2777212361 @default.
- W2983055408 hasConcept C2778029271 @default.
- W2983055408 hasConcept C2780432614 @default.
- W2983055408 hasConcept C2780510313 @default.
- W2983055408 hasConcept C2780966255 @default.
- W2983055408 hasConcept C33923547 @default.
- W2983055408 hasConcept C36289849 @default.
- W2983055408 hasConcept C40231798 @default.
- W2983055408 hasConcept C41008148 @default.
- W2983055408 hasConcept C41895202 @default.
- W2983055408 hasConcept C54884031 @default.
- W2983055408 hasConcept C95457728 @default.
- W2983055408 hasConceptScore W2983055408C111472728 @default.
- W2983055408 hasConceptScore W2983055408C136119220 @default.
- W2983055408 hasConceptScore W2983055408C138885662 @default.
- W2983055408 hasConceptScore W2983055408C144024400 @default.
- W2983055408 hasConceptScore W2983055408C154690210 @default.
- W2983055408 hasConceptScore W2983055408C166957645 @default.
- W2983055408 hasConceptScore W2983055408C17744445 @default.
- W2983055408 hasConceptScore W2983055408C199360897 @default.
- W2983055408 hasConceptScore W2983055408C199539241 @default.
- W2983055408 hasConceptScore W2983055408C202444582 @default.
- W2983055408 hasConceptScore W2983055408C20693621 @default.
- W2983055408 hasConceptScore W2983055408C2776608160 @default.
- W2983055408 hasConceptScore W2983055408C2777212361 @default.
- W2983055408 hasConceptScore W2983055408C2778029271 @default.
- W2983055408 hasConceptScore W2983055408C2780432614 @default.
- W2983055408 hasConceptScore W2983055408C2780510313 @default.
- W2983055408 hasConceptScore W2983055408C2780966255 @default.
- W2983055408 hasConceptScore W2983055408C33923547 @default.
- W2983055408 hasConceptScore W2983055408C36289849 @default.
- W2983055408 hasConceptScore W2983055408C40231798 @default.
- W2983055408 hasConceptScore W2983055408C41008148 @default.
- W2983055408 hasConceptScore W2983055408C41895202 @default.
- W2983055408 hasConceptScore W2983055408C54884031 @default.
- W2983055408 hasConceptScore W2983055408C95457728 @default.
- W2983055408 hasLocation W29830554081 @default.
- W2983055408 hasOpenAccess W2983055408 @default.
- W2983055408 hasPrimaryLocation W29830554081 @default.
- W2983055408 hasRelatedWork W145924685 @default.
- W2983055408 hasRelatedWork W1490017680 @default.
- W2983055408 hasRelatedWork W1580648567 @default.
- W2983055408 hasRelatedWork W1593629016 @default.
- W2983055408 hasRelatedWork W1822990372 @default.
- W2983055408 hasRelatedWork W1926981557 @default.
- W2983055408 hasRelatedWork W1983770323 @default.
- W2983055408 hasRelatedWork W2007022195 @default.
- W2983055408 hasRelatedWork W2034967301 @default.
- W2983055408 hasRelatedWork W2038777248 @default.
- W2983055408 hasRelatedWork W2115925088 @default.
- W2983055408 hasRelatedWork W2151187209 @default.
- W2983055408 hasRelatedWork W2316555678 @default.
- W2983055408 hasRelatedWork W275553873 @default.
- W2983055408 hasRelatedWork W2766028703 @default.
- W2983055408 hasRelatedWork W2793773902 @default.
- W2983055408 hasRelatedWork W2810360790 @default.
- W2983055408 hasRelatedWork W2920278295 @default.
- W2983055408 hasRelatedWork W592382802 @default.
- W2983055408 hasRelatedWork W633109755 @default.
- W2983055408 isParatext "false" @default.
- W2983055408 isRetracted "false" @default.
- W2983055408 magId "2983055408" @default.
- W2983055408 workType "article" @default.