{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T18:52:53Z","timestamp":1649098373730},"reference-count":12,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2012,1,25]],"date-time":"2012-01-25T00:00:00Z","timestamp":1327449600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[2012,8]]},"DOI":"10.1007\/s11229-011-0043-1","type":"journal-article","created":{"date-parts":[[2012,1,24]],"date-time":"2012-01-24T06:00:07Z","timestamp":1327384807000},"page":"973-974","source":"Crossref","is-referenced-by-count":0,"title":["Erratum to: Between proof and truth"],"prefix":"10.1007","volume":"187","author":[{"given":"Julien","family":"Boyer","sequence":"first","affiliation":[]},{"given":"Gabriel","family":"Sandu","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2012,1,25]]},"reference":[{"issue":"2","key":"43_CR1","doi-asserted-by":"crossref","first-page":"105","DOI":"10.4000\/philosophiascientiae.567","volume":"8","author":"D. Bonnay","year":"2004","unstructured":"Bonnay D. (2004) Preuves et jeux s\u2019emantiques. Philosophia Scientiae 8(2): 105\u2013123","journal-title":"Philosophia Scientiae"},{"issue":"1","key":"43_CR2","doi-asserted-by":"crossref","first-page":"325","DOI":"10.2307\/2275524","volume":"60","author":"T. Coquand","year":"1995","unstructured":"Coquand T. (1995) A semantics of evidence for classical arithmetic. Journal of Symbolic Logic 60(1): 325\u2013337","journal-title":"Journal of Symbolic Logic"},{"key":"43_CR3","unstructured":"Dummett, M. (1978a). The philosophical basis of intuitionistic logic. In Truth and other enigmas. London: Duckworth."},{"key":"43_CR4","unstructured":"Dummett, M. (1978b). The philosophical significance of G\u00f6del\u2019s theorem. In Truth and other enigmas . London: Duckworth."},{"key":"43_CR5","first-page":"1","volume":"77","author":"S. Hayashi","year":"2007","unstructured":"Hayashi S. (2007) Can proofs be animated by games?. Fundamenta Informaticae 77: 1\u201313","journal-title":"Fundamenta Informaticae"},{"key":"43_CR6","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511624919","volume-title":"The principles of mathematics revisited","author":"J. Hintikka","year":"1996","unstructured":"Hintikka J. (1996) The principles of mathematics revisited. Cambridge University Press, Boston"},{"key":"43_CR7","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1016\/S0304-3975(02)00776-4","volume":"308","author":"J. L. Krivine","year":"2003","unstructured":"Krivine J. L. (2003) Dependent choice, \u2018quote\u2019 and the clock. Theoretical Computer Science 308: 259\u2013276","journal-title":"Theoretical Computer Science"},{"key":"43_CR8","unstructured":"Lorenzen, K. (1959). Ein dialogishes konstruktivitatskriterium. In Infinitistic methods. Proceedings of the symposium on the foundations of mathematics, PWN, Warszawa (pp. 193\u2013200). London: Pergamon Press."},{"key":"43_CR9","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1093\/philmat\/nkm015","volume":"15","author":"P. Milne","year":"2007","unstructured":"Milne P. (2007) On G\u00f6del sentences and what they say. Philosophia Mathematica III 15: 193\u2013226","journal-title":"Philosophia Mathematica III"},{"issue":"2","key":"43_CR10","doi-asserted-by":"crossref","first-page":"225","DOI":"10.2178\/bsl\/1120231632","volume":"11","author":"W. W. Tait","year":"2005","unstructured":"Tait W. W. (2005) G\u00f6del\u2019s reformulation of Gentzen\u2019s first consistency proof for arithmetic: The no-counterexample interpretation. The Bulletin of Symbolic Logic 11(2): 225\u2013238","journal-title":"The Bulletin of Symbolic Logic"},{"issue":"443","key":"43_CR11","doi-asserted-by":"crossref","first-page":"551","DOI":"10.1093\/mind\/111.443.551","volume":"111","author":"N. Tennant","year":"2002","unstructured":"Tennant N. (2002) Deflationism and the G\u00f6del phenonmena. Mind 111(443): 551\u2013582","journal-title":"Mind"},{"key":"43_CR12","unstructured":"van Benthem, J. (2001). Logic in games. Lecture Notes. Amsterdam: ILLC."}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-011-0043-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11229-011-0043-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-011-0043-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T06:36:48Z","timestamp":1559371008000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11229-011-0043-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,1,25]]},"references-count":12,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2012,8]]}},"alternative-id":["43"],"URL":"https:\/\/doi.org\/10.1007\/s11229-011-0043-1","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"value":"0039-7857","type":"print"},{"value":"1573-0964","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,1,25]]}}}