{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,4]],"date-time":"2026-06-04T18:51:24Z","timestamp":1780599084198,"version":"3.54.1"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783662556641","type":"print"},{"value":"9783662556658","type":"electronic"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-662-55665-8_38","type":"book-chapter","created":{"date-parts":[[2017,8,23]],"date-time":"2017-08-23T15:01:02Z","timestamp":1503500462000},"page":"554-569","source":"Crossref","is-referenced-by-count":1,"title":["A Reconstruction of Ex Falso Quodlibet via Quasi-Multiple-Conclusion Natural Deduction"],"prefix":"10.1007","author":[{"given":"Yosuke","family":"Fukuda","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ryosuke","family":"Igarashi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2017,8,24]]},"reference":[{"issue":"265","key":"38_CR1","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1093\/analys\/60.1.5","volume":"60","author":"RT Cook","year":"2000","unstructured":"Cook, R.T., Cogburn, J.: What negation is not: intuitionism and \u20180=1\u2019. Analysis 60(265), 5\u201312 (2000)","journal-title":"Analysis"},{"key":"38_CR2","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":"38_CR3","series-title":"Oxford Logic Guides","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198505242.001.0001","volume-title":"Elements of Intuitionism","author":"M Dummett","year":"2000","unstructured":"Dummett, M.: Elements of Intuitionism. Oxford Logic Guides. Clarendon Press, Oxford (2000)"},{"key":"38_CR4","doi-asserted-by":"crossref","unstructured":"Griffin, T.G.: A formulae-as-type notion of control. In: Proceedings of the 17th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 47\u201358 (1990)","DOI":"10.1145\/96709.96714"},{"key":"38_CR5","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/978-94-015-9309-0_9","volume-title":"What is Negation?","author":"M Hand","year":"1999","unstructured":"Hand, M.: Antirealism and falsity. In: Gabbay, D.M., Wansing, H. (eds.) What is Negation?, pp. 185\u2013198. Springer, Dordrecht (1999). doi: 10.1007\/978-94-015-9309-0_9"},{"issue":"1\u20132","key":"38_CR6","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1016\/S0304-3975(00)00352-2","volume":"272","author":"Y Kameyama","year":"2002","unstructured":"Kameyama, Y., Sato, M.: Strong normalizability of the non-deterministic catch\/throw calculi. Theor. Comput. Sci. 272(1\u20132), 223\u2013245 (2002)","journal-title":"Theor. Comput. Sci."},{"key":"38_CR7","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1017\/S0027763000018055","volume":"7","author":"S Maehara","year":"1954","unstructured":"Maehara, S.: Eine darstellung der intuitionistischen logik in der klassischen. Nagoya Math. J. 7, 45\u201364 (1954)","journal-title":"Nagoya Math. J."},{"issue":"2","key":"38_CR8","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1016\/0168-0072(94)90087-6","volume":"69","author":"H Nakano","year":"1994","unstructured":"Nakano, H.: A constructive logic behind the catch and throw mechanism. Ann. Pure Appl. Logic 69(2), 269\u2013301 (1994)","journal-title":"Ann. Pure Appl. Logic"},{"key":"38_CR9","unstructured":"Nakano, H.: Logical structures of the catch and throw mechanism. Ph.D. thesis, The University of Tokyo (1995)"},{"key":"38_CR10","unstructured":"Onishi, T.: Proof-theoretic semantics and bilateralism. Ph.D. thesis, Kyoto University (2012). (Written in Japanese)"},{"key":"38_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1007\/BFb0013061","volume-title":"Logic Programming and Automated Reasoning","author":"M Parigot","year":"1992","unstructured":"Parigot, M.: $$\\uplambda \\upmu $$ \u03bb \u03bc -Calculus: an algorithmic interpretation of classical natural deduction. In: Voronkov, A. (ed.) LPAR 1992. LNCS, vol. 624, pp. 190\u2013201. Springer, Heidelberg (1992). doi: 10.1007\/BFb0013061"},{"issue":"3","key":"38_CR12","doi-asserted-by":"crossref","first-page":"507","DOI":"10.1007\/s11229-004-6295-2","volume":"148","author":"D Prawitz","year":"2006","unstructured":"Prawitz, D.: Meaning approached via proofs. Synthese 148(3), 507\u2013524 (2006)","journal-title":"Synthese"},{"key":"38_CR13","unstructured":"Prawitz, D.: Pragmatist and verificationist theories of meaning. In: Auxier, R.E., Hahn, L.E. (eds.) The Philosophy of Michael Dummett. Open Court Publishing Company (2007)"},{"issue":"2","key":"38_CR14","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1023\/A:1004787622057","volume":"29","author":"S Read","year":"2000","unstructured":"Read, S.: Harmony and autonomy in classical logic. J. Philos. Logic 29(2), 123\u2013154 (2000)","journal-title":"J. Philos. Logic"},{"key":"38_CR15","volume-title":"Lectures on the Curry-Howard Isomorphism","author":"H S\u00f8rensen","year":"2006","unstructured":"S\u00f8rensen, H., Urzyczyn, P.: Lectures on the Curry-Howard Isomorphism. Elsevier, Amsterdam (2006)"},{"key":"38_CR16","volume-title":"Common LISP: The Language","author":"GL Steele","year":"1990","unstructured":"Steele, G.L.: Common LISP: The Language, 2nd edn. Digital Press, Newton (1990)","edition":"2"},{"key":"38_CR17","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1007\/978-94-015-9309-0_10","volume-title":"What is Negation?","author":"N Tennant","year":"1999","unstructured":"Tennant, N.: Negation, Absurdity and Contrariety. In: Gabbay, D.M., Wansing, H. (eds.) What is Negation?, pp. 199\u2013222. Springer, Dordrecht (1999)"},{"key":"38_CR18","first-page":"273","volume":"9","author":"L Tranchini","year":"2008","unstructured":"Tranchini, L.: The role of negation in proof-theoretic semantics: a proposal. Fuzzy Logics Interpret. Logics Resour. 9, 273\u2013287 (2008)","journal-title":"Fuzzy Logics Interpret. Logics Resour."},{"issue":"2","key":"38_CR19","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1070\/RM2004v059n02ABEH000717","volume":"59","author":"D Dalen van","year":"2004","unstructured":"van Dalen, D.: Kolmogorov and Brouwer on constructive implication and the Ex Falso rule. Russ. Math. Surv. 59(2), 247\u2013257 (2004)","journal-title":"Russ. Math. Surv."}],"container-title":["Lecture Notes in Computer Science","Logic, Rationality, and Interaction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-55665-8_38","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,26]],"date-time":"2024-06-26T12:38:58Z","timestamp":1719405538000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-55665-8_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783662556641","9783662556658"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-55665-8_38","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]}}}