乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T21:24:44Z","timestamp":1648934684428},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"8","license":[{"start":{"date-parts":[[2015,9,5]],"date-time":"2015-09-05T00:00:00Z","timestamp":1441411200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100001655","name":"German Academic Exchange Service (DE)","doi-asserted-by":"publisher","award":["91562976"],"id":[{"id":"10.13039\/501100001655","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003593","name":"Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100003593","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[2016,8]]},"DOI":"10.1007\/s11229-015-0865-3","type":"journal-article","created":{"date-parts":[[2015,9,5]],"date-time":"2015-09-05T15:30:45Z","timestamp":1441467045000},"page":"2539-2559","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["On Dummett\u2019s verificationist justification procedure"],"prefix":"10.1007","volume":"193","author":[{"given":"Wagner","family":"de Campos Sanz","sequence":"first","affiliation":[]},{"given":"Herm\u00f3genes","family":"Oliveira","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,9,5]]},"reference":[{"key":"865_CR1","volume-title":"The logical basis of metaphysics","author":"M Dummett","year":"1991","unstructured":"Dummett, M. (1991). The logical basis of metaphysics. Cambridge, MA: Harvard University Press."},{"key":"865_CR2","doi-asserted-by":"crossref","unstructured":"Gentzen, G. (1935). Untersuchungen \u00fcber das logische schlie\u00dfen I. Mathematische Zeitschrift, 39(1), 176\u2013210.","DOI":"10.1007\/BF01201353"},{"key":"865_CR3","unstructured":"Goldfarb, W. (2015). On Dummett\u2019s proof-theoretic justification of logical laws. In T. Piecha & P. Schroeder-Heister (Eds.), Advances in proof-theoretic semantics, trends in logic (Vol. 43). New York: Springer. (To appear)."},{"key":"865_CR4","volume-title":"Intuitionism: An introduction","author":"A Heyting","year":"1971","unstructured":"Heyting, A. (1971). Intuitionism: An introduction (3rd ed.). Amsterdam: North-Holland Publishing Company.","edition":"3"},{"key":"865_CR5","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/9055.001.0001","volume-title":"The connectives","author":"L Humberstone","year":"2011","unstructured":"Humberstone, L. (2011). The connectives. Cambridge, MA: MIT Press."},{"key":"865_CR6","unstructured":"Piecha, T., de Campos Sanz, W., & Schroeder-Heister, P. (2014). Failure of completeness in proof-theoretic semantics. Journal of Philosophical Logic, pp. 1\u201315."},{"key":"865_CR7","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1016\/S0049-237X(08)70849-8","volume":"66","author":"D Prawitz","year":"1971","unstructured":"Prawitz, D. (1971). Ideas and results in proof theory. Studies in Logic and the Foundations of Mathematics, 66, 235\u2013307.","journal-title":"Studies in Logic and the Foundations of Mathematics"},{"key":"865_CR8","first-page":"225","volume-title":"Logic, methodology and philosophy of science IV, studies in logic and the foundations of mathematics","author":"D Prawitz","year":"1973","unstructured":"Prawitz, D. (1973). Towards a foundation of a general proof theory. In P. Suppes, L. Henkin, A. Joja, & G. C. Moisil (Eds.), Logic, methodology and philosophy of science IV, studies in logic and the foundations of mathematics (Vol. 74, pp. 225\u2013250). Amsterdam: North Holland."},{"issue":"1","key":"865_CR9","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1007\/BF00660889","volume":"27","author":"D Prawitz","year":"1974","unstructured":"Prawitz, D. (1974). On the ideia of a general proof theory. Synthese, 27(1), 63\u201377.","journal-title":"Synthese"},{"issue":"3","key":"865_CR10","doi-asserted-by":"crossref","first-page":"507","DOI":"10.1007\/s11229-004-6295-2","volume":"148","author":"D Prawitz","year":"2006","unstructured":"Prawitz, D. (2006). Meaning approached via proofs. Synthese, 148(3), 507\u2013524.","journal-title":"Synthese"},{"key":"865_CR11","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1007\/978-94-007-7548-0_12","volume-title":"Advances in natural deduction, trends in logic","author":"D Prawitz","year":"2014","unstructured":"Prawitz, D. (2014). An approach to general proof theory and a conjecture of a kind of completeness of intuitionistic logic revisited. In P. Luiz\u00a0Carlos, H. Edward\u00a0Hermann, & P. de Val\u00e9ria (Eds.), Advances in natural deduction, trends in logic (Vol. 39, pp. 269\u2013279). Dordrecht: Springer."},{"issue":"2","key":"865_CR12","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1093\/analys\/anp003","volume":"69","author":"T Sandqvist","year":"2009","unstructured":"Sandqvist, T. (2009). Classical logic without bivalence. Analisys, 69(2), 211\u2013218.","journal-title":"Analisys"},{"key":"865_CR13","doi-asserted-by":"crossref","unstructured":"Sandqvist, T. (2015). Base-extension semantics for intuitionistic sentential logic. Logic Journal of the IGPL.","DOI":"10.1093\/jigpal\/jzv021"},{"key":"865_CR14","doi-asserted-by":"publisher","unstructured":"Sanz, W. D. C., Piecha, T., & Schroeder-Heister, P. (2013). Constructive semantics, admissibility of rules and the validity of Peirce\u2019s law. Logic Journal of the IGPL. doi: 10.1093\/jigpal\/jzt029 .","DOI":"10.1093\/jigpal\/jzt029"},{"key":"865_CR15","unstructured":"Schroeder-Heister, P. (2012). Proof-theoretic semantics. In E. N. Zalta (Ed.), The Stanford encyclopedia of philosophy. Stanford, CA: The Metaphysics Research Lab."}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-015-0865-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11229-015-0865-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-015-0865-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,30]],"date-time":"2019-08-30T06:35:30Z","timestamp":1567146930000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11229-015-0865-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,9,5]]},"references-count":15,"journal-issue":{"issue":"8","published-print":{"date-parts":[[2016,8]]}},"alternative-id":["865"],"URL":"https:\/\/doi.org\/10.1007\/s11229-015-0865-3","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"value":"0039-7857","type":"print"},{"value":"1573-0964","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,9,5]]}}}