{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,9]],"date-time":"2026-03-09T23:04:51Z","timestamp":1773097491804,"version":"3.50.1"},"reference-count":11,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1999,3,1]],"date-time":"1999-03-01T00:00:00Z","timestamp":920246400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1999,3,1]],"date-time":"1999-03-01T00:00:00Z","timestamp":920246400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Studia Logica"],"published-print":{"date-parts":[[1999,3]]},"DOI":"10.1023\/a:1026413320413","type":"journal-article","created":{"date-parts":[[2003,11,6]],"date-time":"2003-11-06T11:45:40Z","timestamp":1068119140000},"page":"291-303","source":"Crossref","is-referenced-by-count":3,"title":["Marginalia on Sequent Calculi"],"prefix":"10.1007","volume":"62","author":[{"given":"A. S.","family":"Troelstra","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"205933_CR1","doi-asserted-by":"crossref","first-page":"176","DOI":"10.1007\/BF01201353","volume":"39","author":"G. Gentzen","year":"1935","unstructured":"G. Gentzen, \u2018Untersuchungen \u00fcber das logische Schliessen I,II\u2019, Mathematische Zeitschrift 39:176\u2013210, 405\u2013431, 1935. Translation in [Gen69], 68\u2013131.","journal-title":"Mathematische Zeitschrift"},{"key":"205933_CR2","volume-title":"The Collected Papers of Gerhard Gentzen","author":"G. Gentzen","year":"1969","unstructured":"G. Gentzen, The Collected Papers of Gerhard Gentzen, North-Holland Publ. Co., Amsterdam, 1969. English translation of Gentzen's papers, edited and introduced by M. E. Szabo."},{"key":"205933_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1007\/BFb0022247","volume-title":"Computer Science Logic. 8th Workshop, CSL'94. Kazimierz, Poland, September 1994","author":"H. Herbelin","year":"1995","unstructured":"H. Herbelin, \u2018A \u039b-calculus structure isomorphic to Gentzen-style sequent calculus structure\u2019, in L. Pacholski and J. Tiuryn, editors, Computer Science Logic. 8th Workshop, CSL'94. Kazimierz, Poland, September 1994, Lecture Notes in Computer Science 933, pages 61\u201375, Springer-Verlag, Berlin, Heidelberg, New York, 1995."},{"key":"205933_CR4","unstructured":"W. A. Howard, \u2018The formulae-as-types notion of construction\u2019, in [SH80], pages 480\u2013490, 1980. Circulated as preprint since 1969."},{"key":"205933_CR5","unstructured":"S. Ja\u015akowski, \u2018On the rules of supposition in formal logic\u2019 (Polish), Studia Logica (old series) 1:5\u201332, 1934. Translation Polish Logic 1920\u20131939, S. McCall, ed., Clarendon Press, Oxford, 1967, 232\u2013258."},{"key":"205933_CR6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1002\/malq.19790250102","volume":"25","author":"D. Leivant","year":"1979","unstructured":"D. Leivant, \u2018Assumption classes in natural deduction\u2019, Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik 25:1\u20134, 1979.","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"},{"key":"205933_CR7","first-page":"469","volume-title":"Kreiseliana","author":"G. E. Mints","year":"1996","unstructured":"G. E. Mints, \u2018Normal forms for sequent derivations\u2019, in P. Odifreddi, editor, Kreiseliana, pages 469\u2013492, A. K. Peters, Wellesley, Mass., 1996."},{"key":"205933_CR8","volume-title":"Natural deduction. A Proof-theoretical Study","author":"D. Prawitz","year":"1965","unstructured":"D. Prawitz, Natural deduction. A Proof-theoretical Study, Almquist and Wiksell, Stockholm, 1965."},{"key":"205933_CR9","unstructured":"H. Schwichtenberg, \u2018Termination of permutative conversions in intuitionistic Gentzen calculi\u2019, 1997. Draft from June 2, 1997, 11 pages."},{"key":"205933_CR10","volume-title":"To H. B. Curry: Essays on Combinatory logic, Lambda Calculus and Formalism","year":"1980","unstructured":"J. P. Seldin and J. R. Hindley, editors, To H. B. Curry: Essays on Combinatory logic, Lambda Calculus and Formalism, Academic Press, New York, 1980."},{"key":"205933_CR11","volume-title":"Basic Proof Theory","author":"A. S. Troelstra","year":"1996","unstructured":"A. S. Troelstra and H. Sshwichtenberg, Basic Proof Theory, Cambridge University Press, Cambridge U.K., 1996."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1026413320413.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1026413320413\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1026413320413.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T05:32:04Z","timestamp":1754631124000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1026413320413"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,3]]},"references-count":11,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1999,3]]}},"alternative-id":["205933"],"URL":"https:\/\/doi.org\/10.1023\/a:1026413320413","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[1999,3]]}}}