{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:49:34Z","timestamp":1742914174159,"version":"3.40.3"},"publisher-location":"Dordrecht","reference-count":13,"publisher":"Springer Netherlands","isbn-type":[{"type":"print","value":"9789400719224"},{"type":"electronic","value":"9789400719231"}],"license":[{"start":{"date-parts":[[2011,9,8]],"date-time":"2011-09-08T00:00:00Z","timestamp":1315440000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2011,9,8]],"date-time":"2011-09-08T00:00:00Z","timestamp":1315440000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-94-007-1923-1_9","type":"book-chapter","created":{"date-parts":[[2011,9,21]],"date-time":"2011-09-21T07:52:52Z","timestamp":1316591572000},"page":"169-180","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Conservativeness and Eliminability for Anti-Realistic Definitions"],"prefix":"10.1007","author":[{"given":"Francesca","family":"Poggiolesi","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2011,9,8]]},"reference":[{"key":"9_CR1","doi-asserted-by":"publisher","first-page":"130","DOI":"10.2307\/3326862","volume":"22","author":"N. D. Belnap","year":"1962","unstructured":"Belnap, N. D. 1962. \u201cTonk, Plonk and Plink.\u201d Analysis 22:130\u201334.","journal-title":"Analysis"},{"key":"9_CR2","doi-asserted-by":"crossref","DOI":"10.1090\/mmono\/067","volume-title":"Mathematical Intuitionism. Introduction to Proof Theory","author":"A. G. Dragalin","year":"1988","unstructured":"Dragalin, A. G. 1988. Mathematical Intuitionism. Introduction to Proof Theory. Providence, RI: American Mathematical Society."},{"key":"9_CR3","doi-asserted-by":"publisher","first-page":"285","DOI":"10.2307\/2025471","volume":"76","author":"I. Hacking","year":"1979","unstructured":"Hacking, I. 1979. \u201cWhat Is Logic?\u201d Journal of Philosophy 76:285\u2013319.","journal-title":"Journal of Philosophy"},{"key":"9_CR4","unstructured":"Hjortland, O. 2007. \u201cProof-Theoretic Harmony and Structural Assumptions\u201d, 1\u201320. http:\/\/olethhjortland.googlepages.com\/papers."},{"key":"9_CR5","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1093\/mind\/XCVII.385.50","volume":"97","author":"M. Kremer","year":"1988","unstructured":"Kremer, M. 1988. \u201cLogic and Meaning: The Philosophical Significance of the Sequent Calculus.\u201d Mind, New Series 97:50\u201372.","journal-title":"Mind, New Series"},{"key":"9_CR6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.4064\/fm-14-1-1-81","volume":"14","author":"S. Le\u015bniewski","year":"1929","unstructured":"Le\u015bniewski, S. 1929. \u201cGr\u00fcndzuge eines neuen systems der grundlagen der mathematik.\u201d Fundamenta Mathematicae 14:1\u201381.","journal-title":"Fundamenta Mathematicae"},{"key":"9_CR7","doi-asserted-by":"publisher","first-page":"531","DOI":"10.1023\/A:1025648722188","volume":"32","author":"F. Paoli","year":"2003","unstructured":"Paoli, F. 2003. \u201cQuine and Slater on Paraconsistency and Deviance.\u201d Journal of Philosophical Logic 32:531\u201348.","journal-title":"Journal of Philosophical Logic"},{"key":"9_CR8","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1017\/S1755020308080040","volume":"1","author":"F. Poggiolesi","year":"2008","unstructured":"Poggiolesi, F. 2008. \u201cA Cut-Free Simple Sequent Calculus for Modal Logic S5.\u201d Review of Symbolic Logic 1:3\u201315.","journal-title":"Review of Symbolic Logic"},{"key":"9_CR9","doi-asserted-by":"publisher","first-page":"38","DOI":"10.2307\/3326699","volume":"21","author":"A. N. Prior","year":"1960","unstructured":"Prior, A. N. 1960. \u201cA Runabout Inference Ticket.\u201d Analysis 21:38\u201339.","journal-title":"Analysis"},{"key":"9_CR10","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1023\/A:1004787622057","volume":"29","author":"S. Read","year":"2000","unstructured":"Read, S. 2000. \u201cHarmony and Autonomy in Classical Logic.\u201d Journal of Philosophical Logic 29:123\u201354.","journal-title":"Journal of Philosophical Logic"},{"key":"9_CR11","volume-title":"Basic Proof Theory","author":"A. S. Troelestra","year":"1996","unstructured":"Troelestra, A. S., and H. Schwichtenberg. 1996. Basic Proof Theory. Cambridge, MA: Cambridge University Press."},{"key":"9_CR12","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1023\/A:1005217827758","volume":"64","author":"H. Wansing","year":"2000","unstructured":"Wansing, H. 2000. \u201cThe Idea of a Proof-Theoretic Semantics and the Meaning of the Logical Operations.\u201d Studia Logica 64:3\u201320.","journal-title":"Studia Logica"},{"key":"9_CR13","volume-title":"Philosophical Investigations","author":"L. Wittgenstein","year":"1953","unstructured":"Wittgenstein, L. 1953. Philosophical Investigations. Oxford: Blackwell."}],"container-title":["The Realism-Antirealism Debate in the Age of Alternative Logics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-94-007-1923-1_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,11]],"date-time":"2023-02-11T07:43:39Z","timestamp":1676101419000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-94-007-1923-1_9"}},"subtitle":["Towards a Global View of the Meaning of Logical Constants"],"short-title":[],"issued":{"date-parts":[[2011,9,8]]},"ISBN":["9789400719224","9789400719231"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-94-007-1923-1_9","relation":{},"subject":[],"published":{"date-parts":[[2011,9,8]]},"assertion":[{"value":"8 September 2011","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}