{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T10:10:01Z","timestamp":1775038201213,"version":"3.50.1"},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2019,7,6]],"date-time":"2019-07-06T00:00:00Z","timestamp":1562371200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2019,7,6]],"date-time":"2019-07-06T00:00:00Z","timestamp":1562371200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/100005156","name":"Alexander von Humboldt-Stiftung","doi-asserted-by":"publisher","award":["3.3-ITA\/1190393 STP"],"award-info":[{"award-number":["3.3-ITA\/1190393 STP"]}],"id":[{"id":"10.13039\/100005156","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2020,6]]},"DOI":"10.1007\/s11225-019-09867-0","type":"journal-article","created":{"date-parts":[[2019,7,6]],"date-time":"2019-07-06T13:02:22Z","timestamp":1562418142000},"page":"619-648","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Interpolation in Extensions of First-Order Logic"],"prefix":"10.1007","volume":"108","author":[{"given":"Guido","family":"Gherardi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paolo","family":"Maffezioli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eugenio","family":"Orlandelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,7,6]]},"reference":[{"key":"9867_CR1","unstructured":"Baaz, M., and R.\u00a0Iemhoff, On interpolation in existence logics, in Logic for Programming, Artificial Intelligence, and Reasoning, vol. 3835 of Lecture Notes in Computer Science, Springer, 2005, pp. 697\u2013711."},{"key":"9867_CR2","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1007\/s10817-015-9325-5","volume":"54","author":"M Bonacina","year":"2015","unstructured":"Bonacina, M., and M. Johansson, Interpolation systems for ground proofs in automated deduction: a survey, Journal of Automated Reasoning 54: 353\u2013390, 2015.","journal-title":"Journal of Automated Reasoning"},{"key":"9867_CR3","unstructured":"Casari, E., La matematica della verit\u00e0, Bollati Boringhieri, 2006."},{"issue":"3","key":"9867_CR4","doi-asserted-by":"publisher","first-page":"269","DOI":"10.2307\/2963594","volume":"22","author":"W Craig","year":"1957","unstructured":"Craig, W., Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory, The Journal of Symbolic Logic 22(3): 269\u2013285, 1957.","journal-title":"The Journal of Symbolic Logic"},{"key":"9867_CR5","doi-asserted-by":"crossref","unstructured":"Dragalin, A.G., Mathematical Intuitionism: Introduction to Proof Theory, American Mathematical Society, 1988.","DOI":"10.1090\/mmono\/067"},{"issue":"3","key":"9867_CR6","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1016\/j.apal.2014.11.002","volume":"166","author":"M Fitting","year":"2015","unstructured":"Fitting, M., and R.\u00a0Kuznets, Modal interpolation via nested sequents, Annals of Pure and Applied Logic 166(3): 274\u2013305, 2015.","journal-title":"Annals of Pure and Applied Logic"},{"key":"9867_CR7","doi-asserted-by":"crossref","unstructured":"Gabbay, D., and L.\u00a0Maksimova, Interpolation and Definability: Modal and Intuitionistic Logics, Oxford University Press, 2005.","DOI":"10.1093\/acprof:oso\/9780198511748.001.0001"},{"key":"9867_CR8","unstructured":"Gallier, J., Logic for Computer Science, 2nd edn., Dover, 2015."},{"key":"9867_CR9","doi-asserted-by":"crossref","unstructured":"Gentzen, G., Investigation into logical deductions, in M.E. Szabo, (ed.), The collected papers of Gerhard Gentzen, chap.\u00a03, North-Holland, 1969, pp. 68\u2013131.","DOI":"10.1016\/S0049-237X(08)70822-X"},{"key":"9867_CR10","unstructured":"Heyting, A., Intuitionism. An introduction, North-Holland, 1956."},{"issue":"2","key":"9867_CR11","doi-asserted-by":"publisher","first-page":"1369","DOI":"10.1016\/j.apal.2018.08.007","volume":"169","author":"R Kuznets","year":"2018","unstructured":"Kuznets, R., Multicomponent proof-theoretic method for proving interpolation property, Annals of Pure and Applied Logic 169(2): 1369\u20131418, 2018.","journal-title":"Annals of Pure and Applied Logic"},{"key":"9867_CR12","first-page":"235","volume":"12","author":"S Maehara","year":"1960","unstructured":"Maehara, S., On the interpolation theorem of Craig, Suugaku 12: 235\u2013237, 1960. (in Japanese).","journal-title":"Suugaku"},{"issue":"8","key":"9867_CR13","doi-asserted-by":"publisher","first-page":"521","DOI":"10.1007\/s001530050137","volume":"38","author":"S Negri","year":"1999","unstructured":"Negri, S., Sequent calculus proof theory of intuitionistic apartness and order relations, Archive for Mathematical Logic 38(8): 521\u2013547, 1999.","journal-title":"Archive for Mathematical Logic"},{"issue":"4","key":"9867_CR14","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1007\/s001530100124","volume":"42","author":"S Negri","year":"2003","unstructured":"Negri, S., Contraction-free sequent calculi for geometric theories with an application to Barr\u2019s theorem, Archive for Mathematical Logic 42(4): 389\u2013401, 2003.","journal-title":"Archive for Mathematical Logic"},{"key":"9867_CR15","doi-asserted-by":"crossref","unstructured":"Negri, S., and J.\u00a0von Plato, Cut elimination in the presence of axioms, The Bulletin of Symbolic Logic 4(4): 418\u2013435, 1998.","DOI":"10.2307\/420956"},{"key":"9867_CR16","doi-asserted-by":"crossref","unstructured":"Negri, S., and J.\u00a0von Plato, Structural Proof Theory, Cambridge University Press, 2001.","DOI":"10.1017\/CBO9780511527340"},{"key":"9867_CR17","doi-asserted-by":"crossref","unstructured":"Negri, S., and J.\u00a0von Plato, Proof Analysis: A Contribution to Hilbert\u2019s Last Problem, Cambridge University Press, 2011.","DOI":"10.1017\/CBO9781139003513"},{"key":"9867_CR18","doi-asserted-by":"crossref","unstructured":"von Plato, J., Positive lattices, in P.\u00a0Schuster, U.\u00a0Berger, and H.\u00a0Osswald, (eds.), Reuniting the Antipodes - Constructive and Nonstandard Views of the Continuum, vol. 306 of Synthese Library, Kluwer, 2001, pp. 185\u2013197.","DOI":"10.1007\/978-94-015-9757-9_16"},{"issue":"5","key":"9867_CR19","doi-asserted-by":"publisher","first-page":"515","DOI":"10.1002\/malq.200810013","volume":"55","author":"J Rasga","year":"2009","unstructured":"Rasga, J., W.\u00a0Carnielli, and C.\u00a0Sernadas, Interpolation via translations, Mathematical Logic Quarterly 55(5): 515\u2013534, 2009.","journal-title":"Mathematical Logic Quarterly"},{"key":"9867_CR20","unstructured":"Takeuti, G., Proof Theory, vol.\u00a081 of Studies in Logic and the Foundations of Mathematics, 2nd edn., North-Holland, 1987."},{"key":"9867_CR21","doi-asserted-by":"crossref","unstructured":"Troelstra, A.S., and H.\u00a0Schwichtenberg, Basic Proof Theory, 2nd edn., Cambridge University Press, 2000.","DOI":"10.1017\/CBO9781139168717"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-019-09867-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-019-09867-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-019-09867-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,23]],"date-time":"2022-09-23T02:08:18Z","timestamp":1663898898000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-019-09867-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,7,6]]},"references-count":21,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2020,6]]}},"alternative-id":["9867"],"URL":"https:\/\/doi.org\/10.1007\/s11225-019-09867-0","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,7,6]]},"assertion":[{"value":"29 April 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"6 July 2019","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}