{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,6,25]],"date-time":"2023-06-25T00:29:23Z","timestamp":1687652963061},"reference-count":19,"publisher":"Elsevier BV","issue":"1-2","license":[{"start":{"date-parts":[[2000,11,1]],"date-time":"2000-11-01T00:00:00Z","timestamp":973036800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Information Processing Letters"],"published-print":{"date-parts":[[2000,11]]},"DOI":"10.1016\/s0020-0190(00)00120-4","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T13:19:59Z","timestamp":1027603199000},"page":"19-24","source":"Crossref","is-referenced-by-count":19,"title":["Generalized interpolation in"],"prefix":"10.1016","volume":"76","author":[{"given":"Tomasz","family":"Borzyszkowski","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0020-0190(00)00120-4_ID003","series-title":"Recent Trends in Algebraic Development Techniques, Selected Papers, 12th International Workshop WADT'97, Tarquinia, Italy, June 1997","first-page":"107","article-title":"Completeness of the logical system for structured specifications","volume":"Vol. 1376","author":"Borzyszkowski","year":"1997"},{"key":"10.1016\/S0020-0190(00)00120-4_ID004","series-title":"Systemy logiczne dla specyfikacji strukturalnych","author":"Borzyszkowski","year":"2000"},{"key":"10.1016\/S0020-0190(00)00120-4_ID005","series-title":"Casl The Common Algebraic Specification Language\u2014Semantics","author":"The CoFI Task Group on Semantics","year":"1999"},{"key":"10.1016\/S0020-0190(00)00120-4_ID006","series-title":"Formal specifications with high-order parameterization","author":"Cengarle","year":"1994"},{"key":"10.1016\/S0020-0190(00)00120-4_ID007","series-title":"Model Theory","author":"Chang","year":"1973"},{"issue":"1\u20132","key":"10.1016\/S0020-0190(00)00120-4_ID008","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1016\/S0020-0190(00)00037-5","article-title":"On a generalized modularization theorem","volume":"Vol. 74","author":"Dimitrakos","year":"2000","journal-title":"Inform. Process. Lett."},{"key":"10.1016\/S0020-0190(00)00120-4_ID009","series-title":"Logic Colloquium'69","first-page":"391","article-title":"Semantic proof of the Craig interpolation theorem for intuitionistic logic and extensions","author":"Gabbay","year":"1971"},{"key":"10.1016\/S0020-0190(00)00120-4_ID010","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1145\/147508.147524","article-title":"Institutions: abstract model theory for specifications and programming","volume":"Vol. 39","author":"Goguen","year":"1992","journal-title":"J. ACM"},{"issue":"2","key":"10.1016\/S0020-0190(00)00120-4_ID011","doi-asserted-by":"crossref","DOI":"10.1305\/ndjfl\/1093882539","article-title":"An extended joint consistency theorem for free logic with equality","volume":"Vol. 20","author":"Gumb","year":"1979","journal-title":"Notre Dame J. Formal Logic"},{"key":"10.1016\/S0020-0190(00)00120-4_ID012","series-title":"IFIP WG 1.3 State of the Art Book on Algebraic Foundations of System Specification","year":"1999"},{"key":"10.1016\/S0020-0190(00)00120-4_ID013","series-title":"Elements of Mathematical Logic (Model Theory)","author":"Kreisel","year":"1967"},{"key":"10.1016\/S0020-0190(00)00120-4_ID014","series-title":"Philosophical Applications of Free Logic","year":"1991"},{"issue":"6","key":"10.1016\/S0020-0190(00)00120-4_ID015","first-page":"1550","article-title":"Craig's interpolation theorem and amalgamable varieties","volume":"Vol. 18","author":"Maksimova","year":"1997","journal-title":"Soviet Math. Dokl."},{"issue":"3","key":"10.1016\/S0020-0190(00)00120-4_ID016","doi-asserted-by":"crossref","DOI":"10.1305\/ndjfl\/1040149353","article-title":"On Gabbay's proofs of the Craig interpolation theorem for intuitionistic logic","volume":"Vol. 36","author":"Makkai","year":"1995","journal-title":"Notre Dame J. Formal Logic"},{"key":"10.1016\/S0020-0190(00)00120-4_ID017","series-title":"Theory and Practice of Software Development","first-page":"115","article-title":"CoFI: The Common Framework Initiative for algebraic specification and development","volume":"Vol. 1214","author":"Mosses","year":"1997"},{"key":"10.1016\/S0020-0190(00)00120-4_ID018","doi-asserted-by":"crossref","first-page":"689","DOI":"10.1007\/BF01191893","article-title":"Towards formal development of programs from algebraic specification: Parameterization revised","volume":"Vol. 29","author":"Sannella","year":"1992","journal-title":"Acta Inform."},{"key":"10.1016\/S0020-0190(00)00120-4_ID019","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1016\/0890-5401(88)90008-9","article-title":"Specifications in an arbitrary institution","volume":"Vol. 76","author":"Sannella","year":"1988","journal-title":"Inform. and Comput."},{"key":"10.1016\/S0020-0190(00)00120-4_ID020","series-title":"Proc. Workshop on Category Theory and Computer Programming, Guildford","first-page":"334","article-title":"Bits and pieces of the theory of institutions","volume":"Vol. 240","author":"Tarlecki","year":"1986"},{"key":"10.1016\/S0020-0190(00)00120-4_ID021","series-title":"Logic and Algebra of Specification","first-page":"411","article-title":"Structured specifications: Syntax, semantics and proof calculus","volume":"Vol. 94","author":"Wirsing","year":"1991"}],"container-title":["Information Processing Letters"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0020019000001204?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0020019000001204?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,1,13]],"date-time":"2020-01-13T02:48:46Z","timestamp":1578883726000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0020019000001204"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,11]]},"references-count":19,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2000,11]]}},"alternative-id":["S0020019000001204"],"URL":"https:\/\/doi.org\/10.1016\/s0020-0190(00)00120-4","relation":{},"ISSN":["0020-0190"],"issn-type":[{"value":"0020-0190","type":"print"}],"subject":[],"published":{"date-parts":[[2000,11]]}}}