{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T14:48:13Z","timestamp":1770994093917,"version":"3.50.1"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319226859","type":"print"},{"value":"9783319226866","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,10,25]],"date-time":"2015-10-25T00:00:00Z","timestamp":1445731200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc\/4.0"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-22686-6_6","type":"book-chapter","created":{"date-parts":[[2015,10,24]],"date-time":"2015-10-24T14:47:38Z","timestamp":1445698058000},"page":"95-114","source":"Crossref","is-referenced-by-count":16,"title":["Categorical Harmony and Paradoxes in\u00a0Proof-Theoretic Semantics"],"prefix":"10.1007","author":[{"given":"Yoshihiro","family":"Maruyama","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,10,25]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Abramsky, S.: Temperley-Lieb algebra: from knot theory to logic and computation via quantum mechanics. In: Chen, G., Kauffman, L., Lomonaco, S. (eds.) Mathematics of Quantum Computing and Technology, pp. 515\u2013558. Taylor and Francis (2007)","DOI":"10.1201\/9781584889007.ch15"},{"key":"6_CR2","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780198568612.001.0001","volume-title":"Category Theory","author":"S Awodey","year":"2006","unstructured":"Awodey, S.: Category Theory. Oxford University Press, Oxford (2006)"},{"key":"6_CR3","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1093\/analys\/22.6.130","volume":"22","author":"N Belnap","year":"1962","unstructured":"Belnap, N.: Tonk, plonk and plink. Analysis 22, 130\u2013134 (1962)","journal-title":"Analysis"},{"key":"6_CR4","first-page":"33","volume":"3","author":"D Bonnay","year":"2005","unstructured":"Bonnay, D., Simmenauer, B.: Tonk strikes back. Australas. J. Log. 3, 33\u201344 (2005)","journal-title":"Australas. J. Log."},{"key":"6_CR5","doi-asserted-by":"crossref","DOI":"10.4159\/9780674028739","volume-title":"Articulating Reasons: An Introduction to Inferentialism","author":"R Brandom","year":"2000","unstructured":"Brandom, R.: Articulating Reasons: An Introduction to Inferentialism. Harvard University Press, Cambridge (2000)"},{"key":"6_CR6","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/s10992-004-7805-x","volume":"34","author":"RT Cook","year":"2005","unstructured":"Cook, R.T.: What\u2019s wrong with tonk(?). J. Philos. Log. 34, 217\u2013226 (2005)","journal-title":"J. Philos. Log."},{"key":"6_CR7","doi-asserted-by":"publisher","DOI":"10.1093\/0199246297.001.0001","volume-title":"Inquiries into Truth and Interpretation","author":"D Davidson","year":"2001","unstructured":"Davidson, D.: Inquiries into Truth and Interpretation. Clarendon Press, New York (2001)"},{"key":"6_CR8","unstructured":"Do\u0161en, K.: Logical constants: an essay in proof theory. Ph.D. thesis, Oxford University (1980)"},{"key":"6_CR9","doi-asserted-by":"publisher","first-page":"362","DOI":"10.1305\/ndjfl\/1093635154","volume":"30","author":"K Do\u0161en","year":"1989","unstructured":"Do\u0161en, K.: Logical constants as punctuation marks. Notre Dame J. Form. Log. 30, 362\u2013381 (1989)","journal-title":"Notre Dame J. Form. Log."},{"key":"6_CR10","volume-title":"The Logical Basis of Metaphysics","author":"M Dummett","year":"1991","unstructured":"Dummett, M.: The Logical Basis of Metaphysics. Harvard University Press, Cambridge (1991)"},{"key":"6_CR11","first-page":"369","volume-title":"From Frege to G\u00f3del: A Source Book in Mathematical Logic, 1897\u20131931","author":"D Hilbert","year":"1967","unstructured":"Hilbert, D.: On the infinite. In: van Heijenoort, J. (ed.) From Frege to G\u00f3del: A Source Book in Mathematical Logic, 1897\u20131931, pp. 369\u2013392. Harvard University Press, Cambridge (1967)"},{"key":"6_CR12","volume-title":"Introduction to Higher-Order Categorical Logic","author":"J Lambek","year":"1986","unstructured":"Lambek, J., Scott, P.J.: Introduction to Higher-Order Categorical Logic. Cambridge University Press, Cambridge (1986)"},{"key":"6_CR13","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1111\/j.1746-8361.1969.tb01194.x","volume":"23","author":"FW Lawvere","year":"1969","unstructured":"Lawvere, F.W.: Adjointness in foundations. Dialectica 23, 281\u2013296 (1969)","journal-title":"Dialectica"},{"key":"6_CR14","first-page":"11","volume":"1","author":"P Martin-L\u00f6f","year":"1996","unstructured":"Martin-L\u00f6f, P.: On the meanings of the logical constants and the justifications of the logical laws. Nord. J. Philos. Log. 1, 11\u201360 (1996)","journal-title":"Nord. J. Philos. Log."},{"key":"6_CR15","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1007\/978-3-642-39992-3_19","volume-title":"Logic, Language, Information, and Computation. LNCS","author":"Y Maruyama","year":"2013","unstructured":"Maruyama, Y.: Full lambek hyperdoctrine: categorical semantics for first-order substructural logics. In: Kohlenbach, U., Libkin, L., de Queiroz, R. (eds.) Logic, Language, Information, and Computation. LNCS, vol. 8071, pp. 211\u2013225. Springer, Berlin (2013)"},{"key":"6_CR16","volume-title":"Handbook of Logic in Computer Science, Chap. 2","author":"A Pitts","year":"2000","unstructured":"Pitts, A.: Categorical logic. In: Abramsky, S., Gabbay, D.M., Maibaum, T.S.E. (eds.) Handbook of Logic in Computer Science, Chap. 2. Oxford University Press, Oxford (2000)"},{"key":"6_CR17","volume-title":"Natural Deduction","author":"D Prawitz","year":"1965","unstructured":"Prawitz, D.: Natural Deduction. Almqvist & Wiksell, Stockholm (1965)"},{"key":"6_CR18","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1093\/analys\/21.2.38","volume":"21","author":"AN Prior","year":"1960","unstructured":"Prior, A.N.: The runabout inference-ticket. Analysis 21, 38\u201339 (1960)","journal-title":"Analysis"},{"key":"6_CR19","doi-asserted-by":"publisher","first-page":"979","DOI":"10.2307\/2586685","volume":"65","author":"G Sambin","year":"2000","unstructured":"Sambin, G., Battilotti, G., Faggian, C.: Basic logic: reflection, symmetry, visibility. J. Symb. Log. 65, 979\u20131013 (2000)","journal-title":"J. Symb. Log."},{"key":"6_CR20","unstructured":"Schroeder-Heister, P.: Definitional reflection and paradoxes, supplement to [21]. In: Stanford Encyclopedia of Philosophy (2012)"},{"key":"6_CR21","unstructured":"Schroeder-Heister, P.: Proof-theoretic semantics. In: Stanford Encyclopedia of Philosophy (2012)"},{"key":"6_CR22","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/s11245-012-9119-x","volume":"31","author":"P Schroeder-Heister","year":"2012","unstructured":"Schroeder-Heister, P.: Proof-theoretic semantics, self-contradiction, and the format of deductive reasoning. Topoi 31, 77\u201385 (2012)","journal-title":"Topoi"},{"key":"6_CR23","doi-asserted-by":"publisher","first-page":"925","DOI":"10.1007\/s11229-011-9910-z","volume":"187","author":"P Schroeder-Heister","year":"2012","unstructured":"Schroeder-Heister, P.: The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics. Synthese 187, 925\u2013942 (2012)","journal-title":"Synthese"},{"key":"6_CR24","volume-title":"Logic and Algebraic Structures in Quantum Computing and Information","author":"A Stairs","year":"2015","unstructured":"Stairs, A.: Could logic be empirical? The Putnam-Kripke debate. In: Chubb, J., Eskandarian, A., Harizanov, V. (eds.) Logic and Algebraic Structures in Quantum Computing and Information. Cambridge University Press, Cambridge (2015). Forthcoming"},{"key":"6_CR25","doi-asserted-by":"publisher","first-page":"957","DOI":"10.1007\/s11229-011-9902-z","volume":"187","author":"D Westerst\u00e5hl","year":"2012","unstructured":"Westerst\u00e5hl, D.: From constants to consequence, and back. Synthese 187, 957\u2013971 (2012)","journal-title":"Synthese"}],"container-title":["Trends in Logic","Advances in Proof-Theoretic Semantics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-22686-6_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,24]],"date-time":"2022-05-24T02:22:12Z","timestamp":1653358932000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-22686-6_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10,25]]},"ISBN":["9783319226859","9783319226866"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-22686-6_6","relation":{},"ISSN":["1572-6126","2212-7313"],"issn-type":[{"value":"1572-6126","type":"print"},{"value":"2212-7313","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,10,25]]}}}