{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,27]],"date-time":"2025-09-27T08:05:40Z","timestamp":1758960340607},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2022,8,23]],"date-time":"2022-08-23T00:00:00Z","timestamp":1661212800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,8,23]],"date-time":"2022-08-23T00:00:00Z","timestamp":1661212800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Log. Univers."],"published-print":{"date-parts":[[2022,9]]},"DOI":"10.1007\/s11787-022-00309-5","type":"journal-article","created":{"date-parts":[[2022,8,23]],"date-time":"2022-08-23T17:05:53Z","timestamp":1661274353000},"page":"499-533","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Maximum Segments as Natural Deduction Images of Some Cuts"],"prefix":"10.1007","volume":"16","author":[{"given":"Mirjana","family":"Borisavljevi\u0107","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,8,23]]},"reference":[{"issue":"2","key":"309_CR1","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/s00153-005-0295-x","volume":"45","author":"M Borisavljevi\u0107","year":"2006","unstructured":"Borisavljevi\u0107, M.: A connection between cut elimination and normalization. Arch. Math. Logic 45(2), 113\u2013148 (2006)","journal-title":"Arch. Math. Logic"},{"key":"309_CR2","unstructured":"Borisavljevi\u0107, M.: Maximum segments and cuts. In: Proceedings of the 6th panhellenic logic symposium, July 25-28, 2005, University of Athens, Greece, 40-48 (2006a)"},{"issue":"6","key":"309_CR3","doi-asserted-by":"publisher","first-page":"521","DOI":"10.1007\/s10992-008-9084-4","volume":"37","author":"M Borisavljevi\u0107","year":"2008","unstructured":"Borisavljevi\u0107, M.: Normal derivations and sequent derivations. J. Philos. Log. 37(6), 521\u2013548 (2008)","journal-title":"J. Philos. Log."},{"issue":"100","key":"309_CR4","doi-asserted-by":"publisher","first-page":"27","DOI":"10.2298\/PIM0900027B","volume":"86","author":"M Borisavljevi\u0107","year":"2009","unstructured":"Borisavljevi\u0107, M.: Normalization as a consequence of cut elimination. Publications de l\u2019Institut Mathematique, Mathematical Institute of the Serbian Academy of Sciences and Arts 86(100), 27\u201334 (2009)","journal-title":"Publications de l\u2019Institut Mathematique, Mathematical Institute of the Serbian Academy of Sciences and Arts"},{"issue":"2","key":"309_CR5","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1017\/S1755020318000102","volume":"11","author":"M Borisavljevi\u0107","year":"2018","unstructured":"Borisavljevi\u0107, M.: An analysis of the rules of Gentzen\u2019s $$LJ$$ and $$NJ$$. Rev. Symbolic Logic 11(2), 347\u2013370 (2018)","journal-title":"Rev. Symbolic Logic"},{"issue":"5","key":"309_CR6","doi-asserted-by":"publisher","first-page":"739","DOI":"10.1093\/jigpal\/jzaa017","volume":"29","author":"M Borisavljevi\u0107","year":"2021","unstructured":"Borisavljevi\u0107, M.: The subformula property of natural deduction derivations and analytic cuts. Logic J. IGPL 29(5), 739\u2013768 (2021)","journal-title":"Logic J. IGPL"},{"key":"309_CR7","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/0168-0072(91)90059-U","volume":"53","author":"SR Buss","year":"1991","unstructured":"Buss, S.R.: The undecidability of k-provability. Ann. Pure Appl. Logic 53, 75\u2013102 (1991)","journal-title":"Ann. Pure Appl. Logic"},{"key":"309_CR8","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1007\/978-3-319-11041-7_7","volume-title":"Dag Prawitz Proofs Mean.","author":"R Dyckhoff","year":"2015","unstructured":"Dyckhoff, R.: Cut elimination, substitution and normalisation. In: Wansing, H. (ed.) Dag Prawitz Proofs Mean., pp. 163\u2013187. Springer, Berlin (2015)"},{"key":"309_CR9","doi-asserted-by":"crossref","unstructured":"Gentzen, G.: Untersuchungen \u00fcber das logische Schlie\u00dfen. Mathematische Zeitschrift 39 176-210, 405\u2013431 (English trans. in [Gentzen 1969]) (1935)","DOI":"10.1007\/BF01201363"},{"key":"309_CR10","unstructured":"Gentzen, G.: The Collected Papers of Gerhard Gentzen, Szabo, M.E. (ed.), North-Holland (1969)"},{"key":"309_CR11","unstructured":"Minc, G.E.: \u201cNormal forms for sequent derivations.\u201c In: Odifreddi, P. (ed.) Kreiseliana: About and Around Georg Kreisel, Peters 469-492 (1996)"},{"key":"309_CR12","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511527340","volume-title":"Structural Proof Theory","author":"S Negri","year":"2001","unstructured":"Negri, S., von Plato, J.: Structural Proof Theory. Cambridge University Press, New York (2001)"},{"issue":"4","key":"309_CR13","doi-asserted-by":"publisher","first-page":"1803","DOI":"10.2307\/2694976","volume":"66","author":"S Negri","year":"2001","unstructured":"Negri, S., von Plato, J.: Sequent calculus in natural deduction style. J. Symbolic Logic 66(4), 1803\u20131816 (2001)","journal-title":"J. Symbolic Logic"},{"issue":"5","key":"309_CR14","doi-asserted-by":"publisher","first-page":"435","DOI":"10.1002\/malq.200310047","volume":"49","author":"S Negri","year":"2003","unstructured":"Negri, S., von Plato, J.: Translations from natural deduction to sequent calculus. Math. Log. Q. 49(5), 435\u2013443 (2003)","journal-title":"Math. Log. Q."},{"key":"309_CR15","first-page":"323","volume":"12","author":"G Pottinger","year":"1977","unstructured":"Pottinger, G.: Normalization as a homomorrhic image of cut elimination. Ann. Pure Appl. Logic 12, 323\u2013357 (1977)","journal-title":"Ann. Pure Appl. Logic"},{"key":"309_CR16","volume-title":"Natural Deduction","author":"D Prawitz","year":"1965","unstructured":"Prawitz, D.: Natural Deduction. Almquist and Wiksell, Stockholm (1965)"},{"key":"309_CR17","volume-title":"Basic Proof Theory","author":"AS Troelstra","year":"1996","unstructured":"Troelstra, A.S., Schwichtenberg, H.: Basic Proof Theory. Cambridge University Press, New York (1996)"},{"key":"309_CR18","series-title":"A Celebration of Dag Prawitz\u2019s Work","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/978-94-007-7548-0_2","volume-title":"Advances in Natural Deduction","author":"C Urban","year":"2014","unstructured":"Urban, C.: Revisiting Zucker\u2019s work on the correspondence between cut-elimination and normalisation. In: Pereira, L.C., Edward, E.H., de Paiva, V. (eds.) Advances in Natural Deduction. A Celebration of Dag Prawitz\u2019s Work, pp. 31\u201350. Springer, Berlin (2014)"},{"issue":"2","key":"309_CR19","doi-asserted-by":"publisher","first-page":"240","DOI":"10.2178\/bsl\/1208442829","volume":"14","author":"J von Plato","year":"2008","unstructured":"von Plato, J.: Gentzen\u2019s proof of normalization for natural deduction. Bull. Symb. Log. 14(2), 240\u2013257 (2008)","journal-title":"Bull. Symb. Log."},{"issue":"1","key":"309_CR20","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1017\/S1755020310000195","volume":"4","author":"J von Plato","year":"2011","unstructured":"von Plato, J.: A sequent calculus isomorphic to Gentzen\u2019s natural deduction. Rev. Symbol. Logic 4(1), 43\u201353 (2011)","journal-title":"Rev. Symbol. Logic"},{"key":"309_CR21","first-page":"1","volume":"7","author":"J Zucker","year":"1974","unstructured":"Zucker, J.: The correspondence between cut-elimination and normalization. Ann. Pure Appl. Logic 7, 1\u2013112 (1974)","journal-title":"Ann. Pure Appl. Logic"}],"container-title":["Logica Universalis"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-022-00309-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11787-022-00309-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-022-00309-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,15]],"date-time":"2023-02-15T18:12:46Z","timestamp":1676484766000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11787-022-00309-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,8,23]]},"references-count":21,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2022,9]]}},"alternative-id":["309"],"URL":"https:\/\/doi.org\/10.1007\/s11787-022-00309-5","relation":{},"ISSN":["1661-8297","1661-8300"],"issn-type":[{"value":"1661-8297","type":"print"},{"value":"1661-8300","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,8,23]]},"assertion":[{"value":"11 May 2021","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"18 June 2022","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"23 August 2022","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}