{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:31:29Z","timestamp":1740123089871,"version":"3.37.3"},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2020,11,16]],"date-time":"2020-11-16T00:00:00Z","timestamp":1605484800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,11,16]],"date-time":"2020-11-16T00:00:00Z","timestamp":1605484800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"name":"Ministry of Science and Technology of Serbia","award":["ON174026"],"award-info":[{"award-number":["ON174026"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2021,6]]},"DOI":"10.1007\/s11225-020-09920-3","type":"journal-article","created":{"date-parts":[[2020,11,16]],"date-time":"2020-11-16T14:09:50Z","timestamp":1605535790000},"page":"607-638","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["A Cut-Elimination Proof in Positive Relevant Logic with Necessity"],"prefix":"10.1007","volume":"109","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9670-5168","authenticated-orcid":false,"given":"Mirjana","family":"Ili\u0107","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,11,16]]},"reference":[{"key":"9920_CR1","volume-title":"Entailment: the logic of relevance and necessity","author":"A Anderson","year":"1975","unstructured":"Anderson, A., and N. D. Belnap Jr., Entailment: the logic of relevance and necessity, vol. 1, Princeton University Press, Princeton, New Jersey, 1975."},{"key":"9920_CR2","volume-title":"Entailment: the logic of relevance and necessity","author":"A Anderson","year":"1992","unstructured":"Anderson, A., N. D. Belnap Jr., and J. M. Dunn, Entailment: the logic of relevance and necessity, vol. 2, Princeton University Press, Princeton, New Jersey, 1992."},{"key":"9920_CR3","doi-asserted-by":"crossref","unstructured":"Belnap Jr. N. D. A. Gupta, and J. M. Dunn, A consecutive calculus for positive relevant implication with necessity, Journal of Philosophical Logic 9:343\u2013362, 1980.","DOI":"10.1007\/BF00262861"},{"key":"9920_CR4","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1007\/BF00284976","volume":"11","author":"ND Belnap Jr","year":"1982","unstructured":"Belnap Jr., N. D., Display logic, Journal of Philosophical Logic 11:375\u2013417, 1982.","journal-title":"Journal of Philosophical Logic"},{"key":"9920_CR5","doi-asserted-by":"crossref","unstructured":"Bimb\u00f3, K., Relevance logics, in D. Jacquette, (ed.), Philosophy of Logic, (Handbook of the Philosophy of Science, vol. 5, D. Gabbay, P. Thagard, and J. Woods, eds.), Elsevier, 2007, pp. 723\u2013789.","DOI":"10.1016\/B978-044451541-4\/50022-1"},{"key":"9920_CR6","volume-title":"Proof theory: Sequent Calculi and Related Formalisms","author":"K Bimb\u00f3","year":"2015","unstructured":"Bimb\u00f3, K., Proof theory: Sequent Calculi and Related Formalisms, CRC Press, Boca Raton, FL, 2015."},{"key":"9920_CR7","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1093\/jigpal\/6.3.403","volume":"6","author":"K Bimb\u00f3","year":"1998","unstructured":"Bimb\u00f3, K., and J. M. Dunn, Two extensions of the structurally free logic $$LC$$, Logic Journal of the IGPL 6:403\u2013424, 1998.","journal-title":"Logic Journal of the IGPL"},{"key":"9920_CR8","doi-asserted-by":"publisher","first-page":"491","DOI":"10.1215\/00294527-1722719","volume":"53","author":"K Bimb\u00f3","year":"2012","unstructured":"Bimb\u00f3, K., and J. M. Dunn, New consecution calculi for $$R_{\\rightarrow }^t$$, Notre Dame Journal of Formal Logic 53:491\u2013501, 2012.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9920_CR9","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/BF00211185","volume":"19","author":"RT Brady","year":"1990","unstructured":"Brady, R. T., The Gentzenization and decidability of RW, Journal of Philosophical Logic 19:35\u201373, 1990.","journal-title":"Journal of Philosophical Logic"},{"key":"9920_CR10","unstructured":"Curry, H. B., A Theory of Formal Deducibility, Notre Dame Mathematical Lectures, No. 6, University of Notre Dame, 1950."},{"key":"9920_CR11","volume-title":"Foundations of Mathematical Logic","author":"HB Curry","year":"1963","unstructured":"Curry, H. B., Foundations of Mathematical Logic, McGraw-Hill Book Company, New York, NY, 1963."},{"key":"9920_CR12","unstructured":"Dunn, J. M., The Algebra of Intensional Logics, PhD Thesis, University of Pittsburgh, 1966."},{"key":"9920_CR13","first-page":"356","volume":"38","author":"JM Dunn","year":"1973","unstructured":"Dunn, J. M., A \u2019Gentzen system\u2019 for positive relevant implication. The Journal of Symbolic Logic 38:356-357, 1973.","journal-title":"The Journal of Symbolic Logic"},{"key":"9920_CR14","doi-asserted-by":"crossref","unstructured":"Dunn, J. M., Relevance logic and entailment, in D. Gabbay, and F. Guenthner, (eds.), Handbook of Philosophical Logic, vol. 3, D. Reidel Publishing Company, 1986, pp. 117\u2013224.","DOI":"10.1007\/978-94-009-5203-4_3"},{"key":"9920_CR15","doi-asserted-by":"crossref","unstructured":"Dunn, J. M., and G. Restall, Relevance logic, in D. Gabbay, and F. Guenthner, (eds.), Handbook of Philosophical Logic, vol. 6, Kluwer Academic Publlishers, 2002, pp. 1\u2013128.","DOI":"10.1007\/978-94-017-0460-1_1"},{"key":"9920_CR16","doi-asserted-by":"crossref","unstructured":"Gentzen, G., Investigations into logical deduction, in M. E. Szabo, (ed.), The Collected Papers of Gerhard Gentzen, North-Holland, 1969, pp. 68\u2013131.","DOI":"10.1016\/S0049-237X(08)70822-X"},{"key":"9920_CR17","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/BF00249365","volume":"14","author":"S Giambrone","year":"1985","unstructured":"Giambrone, S., $$TW_+$$ and $$RW_+$$ are decidable, Journal of Philosophical Logic 14:235\u2013254, 1985.","journal-title":"Journal of Philosophical Logic"},{"issue":"6","key":"9920_CR18","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1002\/malq.201400084","volume":"62","author":"M Ili\u0107","year":"2016","unstructured":"Ili\u0107, M., An alternative Gentzenization of $$RW_+^\\circ $$, Mathematical Logic Quarterly 62(6):465\u2013480, 2016.","journal-title":"Mathematical Logic Quarterly"},{"issue":"4","key":"9920_CR19","doi-asserted-by":"publisher","first-page":"673","DOI":"10.1093\/jigpal\/jzu009","volume":"22","author":"M Ili\u0107","year":"2014","unstructured":"Ili\u0107, M., and B. Bori\u010di\u0107, A cut-free sequent calculus for relevant logic $$RW$$, Logic Journal of IGPL 22(4): 673\u2013695, 2014.","journal-title":"Logic Journal of IGPL"},{"key":"9920_CR20","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1080\/00048408212340551","volume":"60","author":"RK Meyer","year":"1982","unstructured":"Meyer, R. K., and M. A. McRobbie, Multisets and relevant implication, Australasian Journal of Philosophy 60:107\u2013139, 1982.","journal-title":"Australasian Journal of Philosophy"},{"key":"9920_CR21","doi-asserted-by":"publisher","first-page":"422","DOI":"10.1007\/BF01084083","volume":"6","author":"G Minc","year":"1976","unstructured":"Minc, G., Cut elimination theorem for relevant logics, Journal of Soviet Mathematics 6:422\u2013428, 1976.","journal-title":"Journal of Soviet Mathematics"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-020-09920-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11225-020-09920-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-020-09920-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,27]],"date-time":"2021-05-27T13:27:00Z","timestamp":1622122020000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11225-020-09920-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,11,16]]},"references-count":21,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2021,6]]}},"alternative-id":["9920"],"URL":"https:\/\/doi.org\/10.1007\/s11225-020-09920-3","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2020,11,16]]},"assertion":[{"value":"16 November 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}