{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,27]],"date-time":"2025-09-27T08:22:28Z","timestamp":1758961348246},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2008,5,29]],"date-time":"2008-05-29T00:00:00Z","timestamp":1212019200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[2008,12]]},"DOI":"10.1007\/s10992-008-9084-4","type":"journal-article","created":{"date-parts":[[2008,5,28]],"date-time":"2008-05-28T05:19:54Z","timestamp":1211951994000},"page":"521-548","source":"Crossref","is-referenced-by-count":6,"title":["NORMAL DERIVATIONS AND SEQUENT DERIVATIONS"],"prefix":"10.1007","volume":"37","author":[{"given":"Mirjana","family":"Borisavljevi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2008,5,29]]},"reference":[{"issue":"6","key":"9084_CR1","doi-asserted-by":"crossref","first-page":"769","DOI":"10.1093\/logcom\/14.6.769","volume":"14","author":"M. Borisavljevi\u0107","year":"2004","unstructured":"Borisavljevi\u0107, M.: Extended natural-deduction images of conversions from the system of sequents, Journal of Logic and Computation 14(6) (2004), 769\u2013799.","journal-title":"Journal of Logic and Computation"},{"key":"9084_CR2","unstructured":"Borisavljevi\u0107, M.: Maximum segments and cuts. Proceedings of the 5th Panhellenic Logic Symposium, 40\u201348, July 25\u201328, 2005, Athens, Greece, 2005."},{"issue":"2","key":"9084_CR3","doi-asserted-by":"crossref","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, Archive for Mathematical Logic 45(2) (2006), 113\u2013148.","journal-title":"Archive for Mathematical Logic"},{"key":"9084_CR4","unstructured":"Borisavljevi\u0107, M.: Maximum Segments in Sequent Derivations, manuscript (2005)."},{"key":"9084_CR5","volume-title":"Proofs and Types, vol. 7 of Cambridge Tracts in Theoretical Computer Science","author":"J-Y. Girard","year":"1989","unstructured":"Girard, J-Y., Taylor, P.: Proofs and Types, vol. 7 of Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, Cambridge, 1989."},{"key":"9084_CR6","doi-asserted-by":"crossref","unstructured":"Gentzen, G.: Untersuchungen\u00fcber das logische Schlie\u00dfen. Mathematische Zeitschrift 39 176\u2013210, 405\u2013431 (1935) (English translation in (Gentzen 1969)).","DOI":"10.1007\/BF01201363"},{"key":"9084_CR7","unstructured":"Gentzen, G.: The Collected Papers of Gerhard Gentzen, Szabo, M.E. (ed.), North-Holland, Amsterdam, 1969."},{"key":"9084_CR8","unstructured":"Minc, G. E.: Normal forms for sequent derivations, in P. Odifreddi (ed.), Kreiseliana: About and Around Georg Kreisel, Peters, Wellesley, 1996, pp. 469\u2013492."},{"key":"9084_CR9","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1007\/s001530100091","volume":"40\/1","author":"J. Plato von","year":"2001","unstructured":"von Plato, J.: Natural deduction with general elimination rules, Archive for Mathematical Logic 40\/1 (2001), 541\u2013567.","journal-title":"Archive for Mathematical Logic"},{"key":"9084_CR10","first-page":"323","volume":"12","author":"G. Pottinger","year":"1977","unstructured":"Pottinger, G.: Normalization as a homomorphic image of cut elimination, Annals of Pure and Applied Logic 12 (1977), 323\u2013357.","journal-title":"Annals of Pure and Applied Logic"},{"key":"9084_CR11","volume-title":"Natural Deduction","author":"D. Prawitz","year":"1965","unstructured":"Prawitz, D.: Natural Deduction, Almquist and Wiksell, Stockholm, 1965."},{"key":"9084_CR12","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1016\/S0049-237X(08)70849-8","volume-title":"Proc. of the Second Scandinavian Logic Symposium","author":"D. Prawitz","year":"1971","unstructured":"Prawitz, D.: Ideas and results in proof theory, in J. E. Fenstad (ed.), Proc. of the Second Scandinavian Logic Symposium, North-Holland, Amsterdam, 1971, pp. 235\u2013307."},{"key":"9084_CR13","volume-title":"Basic Proof Theory","author":"A. S. Troelstra","year":"1996","unstructured":"Troelstra, A.S., Schwichtenberg, H.: Basic Proof Theory, Cambridge University Press, Cambridge, 1996."},{"key":"9084_CR14","first-page":"1","volume":"7","author":"J. Zucker","year":"1974","unstructured":"Zucker, J.: The correspondence between cut-elimination and normalization, Annals of Pure and Applied Logic 7 (1974), 1\u2013112.","journal-title":"Annals of Pure and Applied Logic"}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-008-9084-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10992-008-9084-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-008-9084-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T21:29:48Z","timestamp":1559338188000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10992-008-9084-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,5,29]]},"references-count":14,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2008,12]]}},"alternative-id":["9084"],"URL":"https:\/\/doi.org\/10.1007\/s10992-008-9084-4","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,5,29]]}}}