{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T07:24:10Z","timestamp":1757575450906},"reference-count":24,"publisher":"Cambridge University Press (CUP)","issue":"2","license":[{"start":{"date-parts":[[2021,7,2]],"date-time":"2021-07-02T00:00:00Z","timestamp":1625184000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["cambridge.org"],"crossmark-restriction":true},"short-container-title":["The Review of Symbolic Logic"],"published-print":{"date-parts":[[2023,6]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>The paper provides a proof theoretic characterization of the Russellian theory of definite descriptions (RDD) as characterized by Kalish, Montague and Mar (KMM). To this effect three sequent calculi are introduced: LKID0, LKID1 and LKID2. LKID0 is an auxiliary system which is easily shown to be equivalent to KMM. The main research is devoted to LKID1 and LKID2. The former is simpler in the sense of having smaller number of rules and, after small change, satisfies cut elimination but fails to satisfy the subformula property. In LKID2 an additional analysis of different kinds of identities leads to proliferation of rules but yields the subformula property. This refined proof theoretic analysis leading to fully analytic calculus with constructive proof of cut elimination is the main contribution of the paper.<\/jats:p>","DOI":"10.1017\/s1755020321000289","type":"journal-article","created":{"date-parts":[[2021,7,2]],"date-time":"2021-07-02T09:21:04Z","timestamp":1625217664000},"page":"624-649","update-policy":"http:\/\/dx.doi.org\/10.1017\/policypage","source":"Crossref","is-referenced-by-count":12,"title":["RUSSELLIAN DEFINITE DESCRIPTION THEORY\u2014A PROOF THEORETIC APPROACH"],"prefix":"10.1017","volume":"16","author":[{"given":"ANDRZEJ","family":"INDRZEJCZAK","sequence":"first","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2021,7,2]]},"reference":[{"key":"S1755020321000289_r7","first-page":"137","article-title":"Fregean description theory in proof-theoretical setting","volume":"28","author":"Indrzejczak","year":"2019","journal-title":"Logic and Logical Philosophy"},{"key":"S1755020321000289_r8","first-page":"387","volume-title":"Advances in Modal Logic","volume":"13","author":"Indrzejczak","year":"2020a"},{"key":"S1755020321000289_r12","first-page":"5","article-title":"On the rules of suppositions in formal logic","volume":"1","author":"Ja\u015bkowski","year":"1934","journal-title":"Studia Logica"},{"key":"S1755020321000289_r6","doi-asserted-by":"publisher","DOI":"10.18778\/0138-0680.47.4.03"},{"key":"S1755020321000289_r9","first-page":"505","article-title":"Free definite description theory\u2014Sequent calculi and cut elimination","volume":"29","author":"Indrzejczak","year":"2020b","journal-title":"Logic and Logical Philosophy"},{"key":"S1755020321000289_r10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-57145-0"},{"key":"S1755020321000289_r1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45744-5_45"},{"key":"S1755020321000289_r22","volume-title":"Natural Logic","author":"Tennant","year":"1978"},{"key":"S1755020321000289_r19","doi-asserted-by":"publisher","DOI":"10.1017\/S175502031800031X"},{"key":"S1755020321000289_r11","first-page":"1","article-title":"A novel approach to equality","author":"Indrzejczak","year":"2021b","journal-title":"Synthese"},{"key":"S1755020321000289_r18","first-page":"40","volume-title":"Russell vs. Meinong. The Legacy of \u201cOn Denoting\u201d","author":"Pelletier","year":"2009"},{"key":"S1755020321000289_r20","doi-asserted-by":"publisher","DOI":"10.1093\/mind\/XIV.4.479"},{"key":"S1755020321000289_r14","doi-asserted-by":"publisher","DOI":"10.18778\/0138-0680.48.2.01"},{"key":"S1755020321000289_r5","first-page":"387","volume-title":"Advances in Modal Logic","volume":"12","author":"Indrzejczak","year":"2018a"},{"key":"S1755020321000289_r16","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-9409-5"},{"key":"S1755020321000289_r17","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511527340"},{"key":"S1755020321000289_r13","volume-title":"Logic: Techniques of Formal Reasoning","author":"Kalish","year":"1980"},{"key":"S1755020321000289_r15","first-page":"299","article-title":"Two treatments of definite descriptions in intuitionist negative free logic","volume":"48","author":"K\u00fcrbis","year":"2019b","journal-title":"Bulletin of the Section of Logic"},{"key":"S1755020321000289_r4","doi-asserted-by":"publisher","DOI":"10.1007\/BF01135376"},{"key":"S1755020321000289_r21","volume-title":"Introduction to Mathematical Philosophy","author":"Russell","year":"1919"},{"key":"S1755020321000289_r23","doi-asserted-by":"publisher","DOI":"10.1111\/j.0031-8094.2004.00344.x"},{"key":"S1755020321000289_r2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-68952-9"},{"key":"S1755020321000289_r3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30124-0_38"},{"key":"S1755020321000289_r24","volume-title":"Principia Mathematica","author":"Whitehead","year":"1910"}],"container-title":["The Review of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1755020321000289","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,16]],"date-time":"2023-05-16T10:34:19Z","timestamp":1684233259000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1755020321000289\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,7,2]]},"references-count":24,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2023,6]]}},"alternative-id":["S1755020321000289"],"URL":"https:\/\/doi.org\/10.1017\/s1755020321000289","relation":{},"ISSN":["1755-0203","1755-0211"],"issn-type":[{"value":"1755-0203","type":"print"},{"value":"1755-0211","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,7,2]]},"assertion":[{"value":"\u00a9 The Author(s), 2021. Published by Cambridge University Press on behalf of The Association for Symbolic Logic","name":"copyright","label":"Copyright","group":{"name":"copyright_and_licensing","label":"Copyright and Licensing"}},{"value":"This is an Open Access article, distributed under the terms of the Creative Commons Attribution licence (http:\/\/creativecommons.org\/licenses\/by\/4.0), which permits unrestricted re-use, distribution, and reproduction in any medium, provided the original work is properly cited.","name":"license","label":"License","group":{"name":"copyright_and_licensing","label":"Copyright and Licensing"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}