{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:20:46Z","timestamp":1740122446060,"version":"3.37.3"},"reference-count":33,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2023,11,15]],"date-time":"2023-11-15T00:00:00Z","timestamp":1700006400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,11,15]],"date-time":"2023-11-15T00:00:00Z","timestamp":1700006400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"DOI":"10.13039\/501100006595","name":"Unitatea Executiva pentru Finantarea Invatamantului Superior, a Cercetarii, Dezvoltarii si Inovarii","doi-asserted-by":"publisher","award":["PN-III-P4-ID-PCE-2020-0446"],"award-info":[{"award-number":["PN-III-P4-ID-PCE-2020-0446"]}],"id":[{"id":"10.13039\/501100006595","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Appl Categor Struct"],"published-print":{"date-parts":[[2023,12]]},"DOI":"10.1007\/s10485-023-09753-w","type":"journal-article","created":{"date-parts":[[2023,11,15]],"date-time":"2023-11-15T13:03:03Z","timestamp":1700053383000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Partialising Institutions"],"prefix":"10.1007","volume":"31","author":[{"given":"R\u0103zvan","family":"Diaconescu","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,11,15]]},"reference":[{"key":"9753_CR1","doi-asserted-by":"publisher","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. Studia Log. 85, 333\u2013359 (2007)","journal-title":"Studia Log."},{"key":"9753_CR2","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1016\/S0304-3975(01)00368-1","volume":"286","author":"E Astesiano","year":"2002","unstructured":"Astesiano, E., Bidoit, M., Kirchner, H., Krieg-Br\u00fcckner, B., Mosses, P., Sannella, D., Tarlecki, A.: CASL: the common algebraic specification language. Theor. Comput. Sci. 286, 153\u2013196 (2002)","journal-title":"Theor. Comput. Sci."},{"key":"9753_CR3","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511525872","volume-title":"Handbook of Categorical Algebra","author":"F Borceux","year":"1994","unstructured":"Borceux, F.: Handbook of Categorical Algebra. Cambridge University Press (1994)"},{"key":"9753_CR4","doi-asserted-by":"publisher","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, 195\u2013206 (1997)","journal-title":"Math. Struct. Comput. Sci."},{"volume-title":"Concept Invention: Foundations, Implementation, Social Aspects and Applications","year":"2018","key":"9753_CR5","unstructured":"Confalonieri, R., Pease, A., Schorlemmer, M., Besold, T.R., Kutz, O., Maclean, E., Kaliakatsos-Papakostas, M. (eds.): Concept Invention: Foundations, Implementation, Social Aspects and Applications. Springer, Switzerland (2018)"},{"key":"9753_CR6","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":"9753_CR7","doi-asserted-by":"crossref","unstructured":"Diaconescu, R.: From Universal Logic to Computer Science, and Back. In: Ciobanu, G., M\u00e9ry, D. (eds.) Proceedings of the Theoretical Aspects of Computing: ICTAC 2014. vol. 8687, Lecture Notes in Computer Science. Springer (2014)","DOI":"10.1007\/978-3-319-10882-7_1"},{"key":"9753_CR8","doi-asserted-by":"crossref","unstructured":"Diaconescu, R.: Implicit partiality of signature morphisms in institution theory. In: Madar\u00e1sz, J., Sz\u00e9kely, G. (eds.) Hajnal Andr\u00e9ka and Istv\u00e1n N\u00e9meti on Unity of Science: From Computing to Relativity Theory Through Algebraic Logic, vol.\u00a019, Outstanding Contributions to Logic, pp. 81\u2013123. Springer (2021). ISBN 978-3-030-64186-3","DOI":"10.1007\/978-3-030-64187-0_4"},{"key":"9753_CR9","doi-asserted-by":"publisher","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, 651\u2013674 (2004)","journal-title":"J. Log. Comput."},{"key":"9753_CR10","volume-title":"Institution-Independent Model Theory","author":"R Diaconescu","year":"2008","unstructured":"Diaconescu, R.: Institution-Independent Model Theory. Birkh\u00e4user, Basel (2008)"},{"key":"9753_CR11","doi-asserted-by":"publisher","first-page":"783","DOI":"10.1007\/s10485-009-9211-6","volume":"19","author":"R Diaconescu","year":"2011","unstructured":"Diaconescu, R.: Grothendieck inclusion systems. Appl. Categ. Struct. 19, 783\u2013802 (2011)","journal-title":"Appl. Categ. Struct."},{"key":"9753_CR12","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1016\/j.tcs.2016.09.009","volume":"656","author":"R Diaconescu","year":"2016","unstructured":"Diaconescu, R.: Functorial semantics of first-order views. Theor. Comput. Sci. 656, 46\u201359 (2016)","journal-title":"Theor. Comput. Sci."},{"key":"9753_CR13","doi-asserted-by":"publisher","first-page":"1507","DOI":"10.3390\/math10091507","volume":"10","author":"R Diaconescu","year":"2022","unstructured":"Diaconescu, R.: Representing 3\/2-institutions as stratified institutions. Mathematics 10, 1507 (2022)","journal-title":"Mathematics"},{"key":"9753_CR14","volume-title":"AMAST Series in Computing","author":"R Diaconescu","year":"1998","unstructured":"Diaconescu, R., Futatsugi, K.: CafeOBJ Report: the language, proof techniques, and methodologies for object-oriented algebraic specification. In: AMAST Series in Computing, vol. 6. World Scientific (1998)"},{"key":"9753_CR15","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1016\/j.jlamp.2014.03.001","volume":"83","author":"R Diaconescu","year":"2014","unstructured":"Diaconescu, R., \u0162u\u0163u, I.: Foundations for structuring behavioural specifications. J. Log. Algebr. Methods Program. 83, 319\u2013338 (2014)","journal-title":"J. Log. Algebr. Methods Program."},{"key":"9753_CR16","doi-asserted-by":"crossref","unstructured":"Goguen, J., Diaconescu, R.: Towards an algebraic semantics for the object paradigm. In: Ehrig, H., Orejas, F. (eds.) Proceedings of the Recent Trends in Data Type Specification, vol. 785, Lecture Notes in Computer Science, pp. 1\u201334 . Springer (1994)","DOI":"10.1007\/3-540-57867-6_1"},{"key":"9753_CR17","doi-asserted-by":"crossref","unstructured":"Goguen, J., Ro\u015fu, G.: Composing hidden information modules over inclusive institutions. In: Owe, O., Krogdahl, S., Lyche, T. (eds.) Proceedings of the From Object-Orientation to Formal Methods, Lecture Notes in Computer Science, vol. 2635, pp. 96\u2013123. Springer (2004)","DOI":"10.1007\/978-3-540-39993-3_7"},{"key":"9753_CR18","doi-asserted-by":"crossref","unstructured":"Goguen, J.: An introduction to algebraic semiotics, with application to user interface design. In: Nehaniv, C.L. (ed.) Proceedings of the Computation for Metaphors, Analogy, and Agents, vol. 1562, Lecture Notes in Computer Science, pp. 242\u2013291. Springer (1999)","DOI":"10.1007\/3-540-48834-0_15"},{"key":"9753_CR19","unstructured":"Goguen, J.: Mathematical models of cognitive space and time. In: Andler, D., Okada, M., Watanabe, I. (eds.) Proceedings of the Reasoning and Cognition, pp. 125\u2013128. (2006)"},{"key":"9753_CR20","doi-asserted-by":"crossref","unstructured":"Goguen, J.: Types as theories. In: Reed, G.M.; Roscoe, A.W.; Wachter, R.F. (eds.) Topology and Category Theory in Computer Science Clarendon Press, pp. 357\u2013390. Proceedings of a Conference held at Oxford, June 1989 (1991)","DOI":"10.1093\/oso\/9780198537601.003.0014"},{"key":"9753_CR21","doi-asserted-by":"crossref","unstructured":"Goguen, J.A.: What is a concept? In: Dau, F., Mugnier, M.L., Stumme, G. (eds.) Conceptual Structures: Common Semantics for Sharing Knowledge. ICCS 2005, vol. 3596, Lecture Notes in Computer Science, pp. 52\u201377. Springer Berlin Heidelberg (2005)","DOI":"10.1007\/11524564_4"},{"key":"9753_CR22","doi-asserted-by":"publisher","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, 95\u2013146 (1992)","journal-title":"J. Assoc. Comput. Mach."},{"key":"9753_CR23","doi-asserted-by":"crossref","unstructured":"Jay, C.B.: Partial Functions, Ordered Categories, Limits and Cartesian Closure. In: Birtwistle, G. (ed.) IV Higher Order Workshop, Banff 1990: Proceedings of the IV Higher Order Workshop, Banff, Alberta, Canada 10\u201314 September 1990, pp. 151\u2013161. Springer, London (1991)","DOI":"10.1007\/978-1-4471-3182-3_10"},{"key":"9753_CR24","volume-title":"Basic Concepts of Enriched Category Theory","author":"M Kelly","year":"1982","unstructured":"Kelly, M.: Basic Concepts of Enriched Category Theory. Cambridge University Press (1982)"},{"key":"9753_CR25","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1007\/BFb0063101","volume-title":"Category Seminar Sydney 1972\/1973","author":"M Kelly","year":"1974","unstructured":"Kelly, M., Street, R.: Review of elements of 2-categories. In: Category Seminar Sydney 1972\/1973. Lecture Notes in Mathematics, vol. 420, pp. 75\u2013103. Springer (1974)"},{"key":"9753_CR26","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 (1998)","edition":"2"},{"key":"9753_CR27","doi-asserted-by":"crossref","unstructured":"Meseguer, J.: General logics. In: Ebbinghaus, H.D., et\u00a0al. (eds.) Proceedings, Logic Colloquium 1987, pp. 275\u2013329. North-Holland (1989)","DOI":"10.1016\/S0049-237X(08)70132-0"},{"key":"9753_CR28","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/0890-5401(88)90034-X","volume":"79","author":"E Robinson","year":"1988","unstructured":"Robinson, E., Rosolini, G.: Categories of partial maps. Inf. Comput. 79, 95\u2013130 (1988)","journal-title":"Inf. Comput."},{"key":"9753_CR29","doi-asserted-by":"publisher","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, 541\u2013563 (2002)","journal-title":"Math. Struct. Comput. Sci"},{"key":"9753_CR30","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":"9753_CR31","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-17336-3","volume-title":"Foundations of Algebraic Specifications and Formal Software Development","author":"D Sannella","year":"2012","unstructured":"Sannella, D., Tarlecki, A.: Foundations of Algebraic Specifications and Formal Software Development. Springer, Berlin (2012)"},{"key":"9753_CR32","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1016\/0304-3975(85)90094-5","volume":"37","author":"A Tarlecki","year":"1986","unstructured":"Tarlecki, A.: On the existence of free models in abstract algebraic institutions. Theor. Comput. Sci. 37, 269\u2013304 (1986)","journal-title":"Theor. Comput. Sci."},{"key":"9753_CR33","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1016\/0304-3975(91)90085-G","volume":"91","author":"A Tarlecki","year":"1991","unstructured":"Tarlecki, A., Burstall, R., Goguen, J.: Some fundamental algebraic tools for the semantics of computation, part 3: indexed categories. Theor. Comput. Sci. 91, 239\u2013264 (1991)","journal-title":"Theor. Comput. Sci."}],"container-title":["Applied Categorical Structures"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-023-09753-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10485-023-09753-w\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-023-09753-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,12,10]],"date-time":"2023-12-10T17:02:09Z","timestamp":1702227729000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10485-023-09753-w"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,11,15]]},"references-count":33,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2023,12]]}},"alternative-id":["9753"],"URL":"https:\/\/doi.org\/10.1007\/s10485-023-09753-w","relation":{},"ISSN":["0927-2852","1572-9095"],"issn-type":[{"type":"print","value":"0927-2852"},{"type":"electronic","value":"1572-9095"}],"subject":[],"published":{"date-parts":[[2023,11,15]]},"assertion":[{"value":"6 February 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"11 October 2023","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"15 November 2023","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"I declare that the author has no competing interests as defined by Springer, or other interests that might be perceived to influence the results and\/or discussion reported in this paper.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}],"article-number":"46"}}