{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,27]],"date-time":"2025-09-27T08:22:22Z","timestamp":1758961342353},"reference-count":20,"publisher":"Cambridge University Press (CUP)","issue":"2","license":[{"start":{"date-parts":[[2018,6,8]],"date-time":"2018-06-08T00:00:00Z","timestamp":1528416000000},"content-version":"unspecified","delay-in-days":7,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The Review of Symbolic Logic"],"published-print":{"date-parts":[[2018,6]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>The connection between the rules and derivations of Gentzen\u2019s calculi<jats:bold><jats:italic>NJ<\/jats:italic><\/jats:bold>and<jats:bold><jats:italic>LJ<\/jats:italic><\/jats:bold>will be explained by several steps (i.e., systems), and an analysis of the well-known problems of the connection between reduction steps of normalization and cut elimination, from Zucker (1974) and Urban (2014), will be given.<\/jats:p>","DOI":"10.1017\/s1755020318000102","type":"journal-article","created":{"date-parts":[[2018,6,8]],"date-time":"2018-06-08T05:33:05Z","timestamp":1528435985000},"page":"347-370","source":"Crossref","is-referenced-by-count":4,"title":["AN ANALYSIS OF THE RULES OF GENTZEN\u2019S<b><i>NJ<\/i><\/b>AND<b><i>LJ<\/i><\/b>"],"prefix":"10.1017","volume":"11","author":[{"given":"MIRJANA","family":"BORISAVLJEVI\u0106","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2018,6,8]]},"reference":[{"key":"S1755020318000102_ref17","doi-asserted-by":"publisher","DOI":"10.2307\/2274279"},{"key":"S1755020318000102_ref5","first-page":"176","volume-title":"The Collected Papers of Gerhard Gentzen","author":"Gentzen","year":"1935"},{"key":"S1755020318000102_ref16","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(08)70849-8"},{"key":"S1755020318000102_ref3","doi-asserted-by":"publisher","DOI":"10.1007\/s00153-005-0295-x"},{"key":"S1755020318000102_ref4","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1007\/978-3-319-11041-7_7","volume-title":"Dag Prawitz on Proofs and Meaning","author":"Dyckhoff","year":"2015"},{"key":"S1755020318000102_ref15","volume-title":"Natural Deduction","author":"Prawitz","year":"1965"},{"key":"S1755020318000102_ref6","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(08)70845-0"},{"key":"S1755020318000102_ref8","first-page":"469","volume-title":"Kreiseliana: About and Around Georg Kreisel","author":"Minc","year":"1996"},{"key":"S1755020318000102_ref13","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020310000195"},{"key":"S1755020318000102_ref1","unstructured":"Borisavljevi\u0107 M . (1997). Sequents, Natural Deduction and Multicategories (in Serbian). Ph.D. Thesis, University of Belgrade."},{"key":"S1755020318000102_ref12","doi-asserted-by":"publisher","DOI":"10.2178\/bsl\/1208442829"},{"key":"S1755020318000102_ref20","first-page":"1","article-title":"The correspondence between cut-elimination and normalization","volume":"7","author":"Zucker","year":"1974","journal-title":"Annals of Pure and Applied Logic"},{"key":"S1755020318000102_ref14","first-page":"323","article-title":"Normalization as a homomorphic image of cut elimination","volume":"12","author":"Pottinger","year":"1977","journal-title":"Annals of Pure and Applied Logic"},{"key":"S1755020318000102_ref2","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/14.6.769"},{"key":"S1755020318000102_ref7","doi-asserted-by":"publisher","DOI":"10.2307\/2025206"},{"key":"S1755020318000102_ref9","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511527340"},{"key":"S1755020318000102_ref10","doi-asserted-by":"publisher","DOI":"10.1007\/s001530100091"},{"key":"S1755020318000102_ref11","doi-asserted-by":"publisher","DOI":"10.1002\/malq.200310047"},{"key":"S1755020318000102_ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-007-7548-0_2"},{"key":"S1755020318000102_ref18","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139168717"}],"container-title":["The Review of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1755020318000102","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,3]],"date-time":"2023-09-03T02:45:10Z","timestamp":1693709110000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1755020318000102\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,6]]},"references-count":20,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2018,6]]}},"alternative-id":["S1755020318000102"],"URL":"https:\/\/doi.org\/10.1017\/s1755020318000102","relation":{},"ISSN":["1755-0203","1755-0211"],"issn-type":[{"value":"1755-0203","type":"print"},{"value":"1755-0211","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,6]]}}}