{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,12,10]],"date-time":"2023-12-10T17:37:24Z","timestamp":1702229844844},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2009,9,29]],"date-time":"2009-09-29T00:00:00Z","timestamp":1254182400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Appl Categor Struct"],"published-print":{"date-parts":[[2011,10]]},"DOI":"10.1007\/s10485-009-9211-6","type":"journal-article","created":{"date-parts":[[2009,9,28]],"date-time":"2009-09-28T07:29:53Z","timestamp":1254122993000},"page":"783-802","source":"Crossref","is-referenced-by-count":6,"title":["Grothendieck Inclusion Systems"],"prefix":"10.1007","volume":"19","author":[{"given":"R\u0103zvan","family":"Diaconescu","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2009,9,29]]},"reference":[{"issue":"3","key":"9211_CR1","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1007\/s11225-007-9043-z","volume":"85","author":"M Aiguier","year":"2007","unstructured":"Aiguier, M., Barbier, F.: An institution-independent proof of the Beth definability theorem. Stud. Log. 85(3), 333\u2013359 (2007)","journal-title":"Stud. Log."},{"issue":"2","key":"9211_CR2","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1145\/77600.77621","volume":"37","author":"J Bergstra","year":"1990","unstructured":"Bergstra, J., Heering, J., Klint, P.: Module algebra. J. Assoc. Comput. Mach. 37(2), 335\u2013372 (1990)","journal-title":"J. Assoc. Comput. Mach."},{"key":"9211_CR3","volume-title":"Handbook of Categorical Algebra","author":"F Borceux","year":"1994","unstructured":"Borceux, F.: Handbook of Categorical Algebra. Cambridge University Press, Cambridge (1994)"},{"issue":"2","key":"9211_CR4","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1017\/S0960129596002253","volume":"7","author":"VE C\u0103z\u0103nescu","year":"1997","unstructured":"C\u0103z\u0103nescu, V.E., Ro\u015fu, G.: Weak inclusion systems. Math. Struct. Comput. Sci. 7(2), 195\u2013206 (1997)","journal-title":"Math. Struct. Comput. Sci."},{"issue":"4","key":"9211_CR5","doi-asserted-by":"crossref","first-page":"427","DOI":"10.1023\/A:1008607717635","volume":"6","author":"R Diaconescu","year":"1998","unstructured":"Diaconescu, R.: Extra theory morphisms for institutions: logical semantics for multi-paradigm languages. Appl. Categ. Struct. 6(4), 427\u2013453 (1998). A preliminary version appeared as JAIST Technical Report IS-RR-97-0032F in 1997","journal-title":"Appl. Categ. Struct."},{"issue":"4","key":"9211_CR6","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1023\/A:1016330812768","volume":"10","author":"R Diaconescu","year":"2002","unstructured":"Diaconescu, R.: Grothendieck institutions. Appl. Categ. Struct. 10(4), 383\u2013402 (2002). Preliminary version appeared as IMAR Preprint 2-2000, ISSN 250-3638, February 2000","journal-title":"Appl. Categ. Struct."},{"issue":"5","key":"9211_CR7","doi-asserted-by":"crossref","first-page":"651","DOI":"10.1093\/logcom\/14.5.651","volume":"14","author":"R Diaconescu","year":"2004","unstructured":"Diaconescu, R.: Elementary diagrams in institutions. J. Log. Comput. 14(5), 651\u2013674 (2004)","journal-title":"J. Log. Comput."},{"key":"9211_CR8","volume-title":"Institution-independent Model Theory","author":"R Diaconescu","year":"2008","unstructured":"Diaconescu, R.: Institution-independent Model Theory. Birkh\u00e4user, Boston (2008)"},{"key":"9211_CR9","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1016\/S0304-3975(01)00361-9","volume":"285","author":"R Diaconescu","year":"2002","unstructured":"Diaconescu, R., Futatsugi, K.: Logical foundations of CafeOBJ. Theor. Comp. Sci. 285, 289\u2013318 (2002)","journal-title":"Theor. Comp. Sci."},{"key":"9211_CR10","unstructured":"Diaconescu, R., Goguen, J., Stefaneas, P.: Logical support for modularisation. In: Huet, G., Plotkin, G. (Eds.) Logical Environments. Proceedings of a Workshop held in Edinburgh, Scotland, May 1991, pp. 83\u2013130. Cambridge (1993)"},{"key":"9211_CR11","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1007\/3-540-50325-0_3","volume-title":"Recent Trends in Data Type Specification. Lecture Notes in Computer Science, vol.\u00a0332","author":"JL Fiadeiro","year":"1988","unstructured":"Fiadeiro, J.L., Sernadas, A.: Structuring theories on consequence. In: Sannella, D., Tarlecki, A. (Eds.) Recent Trends in Data Type Specification. Lecture Notes in Computer Science, vol.\u00a0332, pp.\u00a044\u201372. Springer, New York (1988)"},{"issue":"1","key":"9211_CR12","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J Goguen","year":"1992","unstructured":"Goguen, J., Burstall, R.: Institutions: abstract model theory for specification and programming. J. Assoc. Comput. Mach. 39(1), 95\u2013146 (1992)","journal-title":"J. Assoc. Comput. Mach."},{"key":"9211_CR13","doi-asserted-by":"crossref","first-page":"274","DOI":"10.1007\/s001650200013","volume":"13","author":"J Goguen","year":"2002","unstructured":"Goguen, J., Ro\u015fu, G.: Institution morphisms. Form. Asp. Comput. 13, 274\u2013307 (2002)","journal-title":"Form. Asp. Comput."},{"key":"9211_CR14","doi-asserted-by":"crossref","first-page":"96","DOI":"10.1007\/978-3-540-39993-3_7","volume-title":"From Object-Orientation to Formal Methods. Lecture Notes in Computer Science, vol.\u00a02635","author":"J Goguen","year":"2004","unstructured":"Goguen, J., Ro\u015fu, G.: Composing hidden information modules over inclusive institutions. In: From Object-Orientation to Formal Methods. Lecture Notes in Computer Science, vol.\u00a02635, pp.\u00a096\u2013123. Springer, New York (2004)"},{"key":"9211_CR15","first-page":"145","volume-title":"Rev\u00eatements \u00e9tales et groupe fondamental, S\u00e9minaire de G\u00e9om\u00e9trie Alg\u00e9braique du Bois-Marie 1960\/61, Expos\u00e9 VI. Institut des Hautes \u00c9tudes Scientifiques, 1963. Reprinted in Lecture Notes in Mathematics, vol.\u00a0224","author":"A Grothendieck","year":"1971","unstructured":"Grothendieck, A.: Cat\u00e9gories fibr\u00e9es et descente. In: Rev\u00eatements \u00e9tales et groupe fondamental, S\u00e9minaire de G\u00e9om\u00e9trie Alg\u00e9braique du Bois-Marie 1960\/61, Expos\u00e9 VI. Institut des Hautes \u00c9tudes Scientifiques, 1963. Reprinted in Lecture Notes in Mathematics, vol.\u00a0224, pp.\u00a0145\u201394. Springer, New York (1971)"},{"key":"9211_CR16","doi-asserted-by":"crossref","first-page":"250","DOI":"10.1007\/BFb0018356","volume-title":"Proceedings, Conference on Category Theory and Computer Science. Lecture Notes in Computer Science, vol.\u00a0389","author":"R Harper","year":"1989","unstructured":"Harper, R., Sannella, D., Tarlecki, A.: Logic representation in LF. In: Pitt, D., Rydeheard, D., Dybjer, P., Pitts, A., Poign\u00e9, A. (Eds.) Proceedings, Conference on Category Theory and Computer Science. Lecture Notes in Computer Science, vol.\u00a0389, pp.\u00a0250\u2013272. Springer, New York (1989)"},{"key":"9211_CR17","volume-title":"Categories for the Working Mathematician","author":"S Mac Lane","year":"1998","unstructured":"Mac Lane, S.: Categories for the Working Mathematician, 2nd edn. Springer, New York (1998)","edition":"2"},{"key":"9211_CR18","unstructured":"Maibaum, T., Fiadeiro, J., Sadler, M.: Stepwise program development in \u03a0-institutions. Technical Report, Imperial College (1990)"},{"key":"9211_CR19","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1016\/S0049-237X(08)70132-0","volume-title":"Proceedings, Logic Colloquium, 1987","author":"J Meseguer","year":"1989","unstructured":"Meseguer, J.: General logics. In: Ebbinghaus, H.-D., et al. (Eds.) Proceedings, Logic Colloquium, 1987, pp.\u00a0275\u2013329. North-Holland, Amsterdam (1989)"},{"key":"9211_CR20","first-page":"593","volume-title":"Mathematical foundations of computer science. Lecture Notes in Computer Science, vol.\u00a02420","author":"T Mossakowski","year":"2002","unstructured":"Mossakowski, T.: Comorphism-based Grothendieck logics. In: Diks, K., Rytter, W. (Eds.) Mathematical foundations of computer science. Lecture Notes in Computer Science, vol.\u00a02420, pp.\u00a0593\u2013604. Springer, New York (2002)"},{"key":"9211_CR21","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1007\/978-3-540-40020-2_21","volume-title":"Recent Trends in Algebraic Development Techniques. Lecture Notes in Computer Science, vol.\u00a02755","author":"T Mossakowski","year":"2003","unstructured":"Mossakowski, T.: Foundations of heterogeneous specification. In: Hennicker, R., Wirsing, M., Pattinson, D. (Eds.) Recent Trends in Algebraic Development Techniques. Lecture Notes in Computer Science, vol.\u00a02755, pp.\u00a0359\u2013375. Springer, London (2003)"},{"key":"9211_CR22","unstructured":"Mossakowski, T.: Heterogeneous specification and the heterogeneous tool set. Habilitation Thesis, University of Bremen (2005)"},{"issue":"5","key":"9211_CR23","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1017\/S0960129501003474","volume":"12","author":"G Ro\u015fu","year":"2002","unstructured":"Ro\u015fu, G.: Axiomatisability in inclusive equational logic. Math. Struct. Comput. Sci. 12(5), 541\u2013563 (2002)","journal-title":"Math. Struct. Comput. Sci."},{"key":"9211_CR24","first-page":"165","volume":"76","author":"D Sannella","year":"1988","unstructured":"Sannella, D., Tarlecki, A.: Specifications in an arbitrary institution. Inf. Control 76, 165\u2013210 (1988)","journal-title":"Inf. Control"},{"key":"9211_CR25","first-page":"337","volume-title":"Proceedings, International Conference on Frontiers of Combining Systems (FroCoS\u201998)","author":"A Tarlecki","year":"2000","unstructured":"Tarlecki, A.: Towards heterogeneous specifications. In: Gabbay, D., van Rijke, M. (Eds.) Proceedings, International Conference on Frontiers of Combining Systems (FroCoS\u201998), pp.\u00a0337\u2013360. Research Studies, Taunton (2000)"}],"container-title":["Applied Categorical Structures"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-009-9211-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10485-009-9211-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-009-9211-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T14:25:57Z","timestamp":1559139957000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10485-009-9211-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,9,29]]},"references-count":25,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2011,10]]}},"alternative-id":["9211"],"URL":"https:\/\/doi.org\/10.1007\/s10485-009-9211-6","relation":{},"ISSN":["0927-2852","1572-9095"],"issn-type":[{"value":"0927-2852","type":"print"},{"value":"1572-9095","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,9,29]]}}}