{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,26]],"date-time":"2026-06-26T18:25:26Z","timestamp":1782498326970,"version":"3.54.5"},"reference-count":38,"publisher":"Oxford University Press (OUP)","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Logic Computation"],"published-print":{"date-parts":[[2016,4]]},"DOI":"10.1093\/logcom\/exu028","type":"journal-article","created":{"date-parts":[[2014,6,2]],"date-time":"2014-06-02T22:29:42Z","timestamp":1401748182000},"page":"495-512","source":"Crossref","is-referenced-by-count":27,"title":["Proof-theoretic semantics, paradoxes and the distinction between sense and denotation"],"prefix":"10.1093","volume":"26","author":[{"given":"Luca","family":"Tranchini","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"286","published-online":{"date-parts":[[2014,6,2]]},"reference":[{"key":"2016032907475278000_26.2.495.1","doi-asserted-by":"publisher","DOI":"10.2178\/jsl\/1067620188"},{"key":"2016032907475278000_26.2.495.2","unstructured":"Dummett M. Frege. Philosophy of Language. 2. Duckworth; 1981."},{"key":"2016032907475278000_26.2.495.3","unstructured":"Dummett M. The Logical Basis of Metaphysics. Duckworth; 1991."},{"key":"2016032907475278000_26.2.495.4","unstructured":"R. Dyckhoff. Generalised elimination rules and harmony. URL: http:\/\/www.cs.st-andrews.ac.uk\/~rd\/talks\/2009\/GE.pdf ."},{"key":"2016032907475278000_26.2.495.5","unstructured":"Evans G. The Varieties of Reference. Clarendon Press; 1982."},{"key":"2016032907475278000_26.2.495.6","doi-asserted-by":"publisher","DOI":"10.2307\/2269029"},{"key":"2016032907475278000_26.2.495.7","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-011-9208-0"},{"key":"2016032907475278000_26.2.495.8","first-page":"68","article-title":"Untersuchungen \u00fcber das logische Schlie\u00dfen","volume-title":"The collected papers of Gerhard Gentzen","volume":"39","author":"Gentzen","year":"1969"},{"key":"2016032907475278000_26.2.495.9","first-page":"1","article-title":"Three-valued logic and cut-elimination: the actual meaning of Takeuti's conjecture","volume":"136","author":"Girard","year":"1976","journal-title":"Dissertationes Mathematicae"},{"key":"2016032907475278000_26.2.495.10","unstructured":"Girard J.-Y. Proof Theory and Logical Complexity. Vol. 1. Bibliopolis; 1987."},{"key":"2016032907475278000_26.2.495.11","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1998.2700"},{"key":"2016032907475278000_26.2.495.12","doi-asserted-by":"publisher","DOI":"10.1070\/IM1982v018n01ABEH001382"},{"key":"2016032907475278000_26.2.495.13","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(06)80007-1"},{"key":"2016032907475278000_26.2.495.14","doi-asserted-by":"publisher","DOI":"10.1080\/01445340701830334"},{"key":"2016032907475278000_26.2.495.15","doi-asserted-by":"publisher","DOI":"10.1023\/A:1005293713265"},{"key":"2016032907475278000_26.2.495.16","unstructured":"Prawitz D. Natural Deduction. A Proof-Theoretical Study. Almqvist & Wiksell; 1965."},{"key":"2016032907475278000_26.2.495.17","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(08)70849-8"},{"key":"2016032907475278000_26.2.495.18","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(09)70361-1"},{"key":"2016032907475278000_26.2.495.19","unstructured":"Prawitz D. Proofs and the meaning and completeness of the logical constants. In: Hintikka J. Niiniluoto I. Saarinen E. , editors. Essays on Mathematical and Philosophical Logic: Proceedings of the Fourth Scandinavian Logic Symposium and the First Soviet-Finnish Logic Conference, Jyv\u00e4skyl\u00e4, Finland, June 29\u2013July 6, 1976. Kluwer; 1979. p. 25-40. (revised German translation \u2018Beweise und die Bedeutung und Vollst\u00e4ndigkeit der logischen Konstanten\u2019 Conceptus 16, 1982, 31\u201344)."},{"key":"2016032907475278000_26.2.495.20","doi-asserted-by":"publisher","DOI":"10.1007\/BF00486044"},{"key":"2016032907475278000_26.2.495.21","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-004-6295-2"},{"key":"2016032907475278000_26.2.495.22","doi-asserted-by":"publisher","DOI":"10.1023\/A:1004787622057"},{"key":"2016032907475278000_26.2.495.23","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-010-9133-7"},{"key":"2016032907475278000_26.2.495.24","doi-asserted-by":"publisher","DOI":"10.1080\/00048402.2011.630010"},{"key":"2016032907475278000_26.2.495.25","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-006-9032-0"},{"key":"2016032907475278000_26.2.495.26","unstructured":"Schroeder-Heister P. Untersuchungen zur regellogischen Deutung von Aussagenverkn\u00fcpfungen. Bonn University; 1981. PhD Thesis."},{"key":"2016032907475278000_26.2.495.27","doi-asserted-by":"publisher","DOI":"10.2307\/2274279"},{"key":"2016032907475278000_26.2.495.28","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-004-6296-1"},{"key":"2016032907475278000_26.2.495.29","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-011-9910-z"},{"key":"2016032907475278000_26.2.495.30","unstructured":"Schroeder-Heister P. Proof-theoretic semantics. In: Zalta E. , editor. Stanford Encyclopedia of Philosophy. Stanford; 2012. URL: http:\/\/plato.stanford.edu ."},{"key":"2016032907475278000_26.2.495.31","doi-asserted-by":"publisher","DOI":"10.1007\/s11245-012-9119-x"},{"key":"2016032907475278000_26.2.495.32","doi-asserted-by":"crossref","unstructured":"Schroeder-Heister P. Generalized elimination inferences, higher-level rules, and the implications-as-rules interpretation of the sequent calculus. In: Pereira L. C. Haeusler E. H. de Paiva V. , editors. Advances in Natural Neduction. Springer; 2013.","DOI":"10.1007\/978-94-007-7548-0_1"},{"key":"2016032907475278000_26.2.495.33","doi-asserted-by":"publisher","DOI":"10.1111\/j.1746-8361.1982.tb00820.x"},{"key":"2016032907475278000_26.2.495.34","doi-asserted-by":"publisher","DOI":"10.1093\/analys\/55.3.199"},{"key":"2016032907475278000_26.2.495.35","doi-asserted-by":"publisher","DOI":"10.1007\/s11245-012-9121-3"},{"key":"2016032907475278000_26.2.495.36","unstructured":"Troelstra A. van Dalen D. Studies in Logic and the Foundations of Mathematics. Vol. 121. Elsevier; 1988. Constructivism in Mathematics. An Introduction (I)."},{"key":"2016032907475278000_26.2.495.37","doi-asserted-by":"publisher","DOI":"10.1093\/analys\/53.4.251"},{"key":"2016032907475278000_26.2.495.38","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020311000177"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/26\/2\/495\/7949131\/exu028.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,11]],"date-time":"2019-08-11T02:35:57Z","timestamp":1565490957000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article-lookup\/doi\/10.1093\/logcom\/exu028"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,6,2]]},"references-count":38,"journal-issue":{"issue":"2","published-online":{"date-parts":[[2016,3,29]]},"published-print":{"date-parts":[[2016,4]]}},"alternative-id":["10.1093\/logcom\/exu028"],"URL":"https:\/\/doi.org\/10.1093\/logcom\/exu028","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,6,2]]}}}