{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:30:24Z","timestamp":1740123024340,"version":"3.37.3"},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2021,6,11]],"date-time":"2021-06-11T00:00:00Z","timestamp":1623369600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,6,11]],"date-time":"2021-06-11T00:00:00Z","timestamp":1623369600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2021,12]]},"DOI":"10.1007\/s11225-021-09955-0","type":"journal-article","created":{"date-parts":[[2021,6,11]],"date-time":"2021-06-11T10:03:15Z","timestamp":1623405795000},"page":"1413-1422","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["On Implicational Intermediate Logics Axiomatizable by Formulas Minimal in Classical Logic: A Counter-Example to the Komori\u2013Kashima Problem"],"prefix":"10.1007","volume":"109","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4106-0408","authenticated-orcid":false,"given":"Yoshiki","family":"Nakamura","sequence":"first","affiliation":[]},{"given":"Naosuke","family":"Matsuda","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,6,11]]},"reference":[{"key":"9955_CR1","doi-asserted-by":"crossref","unstructured":"Barendregt, H., W. Dekkers, and R. Statman, Lambda Calculus with Types, Cambridge University Press, 2013.","DOI":"10.1017\/CBO9781139032636"},{"issue":"2","key":"9955_CR2","doi-asserted-by":"publisher","first-page":"97","DOI":"10.2307\/2964753","volume":"24","author":"Michael Dummett","year":"1959","unstructured":"Dummett, M., A Propositional Calculus with Denumerable Matrix, The Journal of Symbolic Logic 24(2):97\u2013106, 1959.","journal-title":"The Journal of Symbolic Logic"},{"issue":"3","key":"9955_CR3","doi-asserted-by":"publisher","first-page":"795","DOI":"10.2307\/2275431","volume":"57","author":"Roy Dyckhoff","year":"1992","unstructured":"Dyckhoff, R., Contraction-Free Sequent Calculi for Intuitionistic Logic, The Journal of Symbolic Logic 57(3):795\u2013807, 1992.","journal-title":"The Journal of Symbolic Logic"},{"key":"9955_CR4","unstructured":"Hirai, Y., Personal Communication (Aug 9 2018), 2018."},{"issue":"1","key":"9955_CR5","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1070\/IM1968v002n01ABEH000636","volume":"2","author":"VA Jankov","year":"1968","unstructured":"Jankov, V.\u00a0A., On the extension of the intuitionist propositional calculus to the classical calculus, and the minimal calculus to the intuitionist calculus, Mathematics of the USSR-Izvestiya 2(1):205\u2013208, 1968.","journal-title":"Mathematics of the USSR-Izvestiya"},{"key":"9955_CR6","doi-asserted-by":"crossref","unstructured":"Jankov, V.\u00a0A., The Calculus of the Weak \u201cLaw of Excluded Middle\u201d, Mathematics of the USSR-Izvestiya 2(5):997\u20131004, 1968.","DOI":"10.1070\/IM1968v002n05ABEH000690"},{"key":"9955_CR7","unstructured":"Kashima, R., On non-generality of axioms of intermediate propositional logics (in Japanese), available at http:\/\/www.is.titech.ac.jp\/%7Ekashima\/manuscript\/05Jul.pdf, 2005."},{"key":"9955_CR8","unstructured":"Kashima, R., Problems on Axiomatization of Intermediate Propositional Logics, in the 39th MLG meeting in 2005, pp.59\u201362 (available at http:\/\/www.st.nanzan-u.ac.jp\/info\/sasaki\/2005mlg\/59--62.pdf), 2005."},{"key":"9955_CR9","unstructured":"Komori, Y., BCK algebras and lambda calculus, in Proceedings of 10th Symposium on Semigroups, Sakado 1986, 1987, pp. 5\u201311."},{"key":"9955_CR10","unstructured":"Komori, Y., A problem on logics axiomatized with formulas minimal in classical logic, and more (in Japanese), in the Mathematical Society of Japan Autumn Meeting 2005 (available at http:\/\/komoriyuichi.web.fc2.com\/gakkai\/05-09\/kyokusyou\/gakkai.pdf), 2005."},{"key":"9955_CR11","unstructured":"Komori, Y., Independent Axiom Systems of Minimal formulas for Classical Logic, in The 39th MLG meeting in 2005 (available at http:\/\/www.st.nanzan-u.ac.jp\/info\/sasaki\/2005mlg\/56--58.pdf), 2005, pp. 56\u201358."},{"key":"9955_CR12","doi-asserted-by":"publisher","unstructured":"Komori, Y., Propositional logics revisited - deployments from misunderstanding and mistakes (in Japanese), in The Mathematical Society of Japan Autumn Meeting 2007 (available at https:\/\/doi.org\/10.11429\/emath1996.2007.autumn-meeting1_82), The Mathematical Society of Japan, 2007,pp. 82\u201394.","DOI":"10.11429\/emath1996.2007.autumn-meeting1_82"},{"key":"9955_CR13","doi-asserted-by":"crossref","unstructured":"Nakamura, Y., Coq Files for \u201cOn the Axiomatization of Implicational Intermediate Logics with Formulas Minimal in Classical Logic: A Counter-Example to the Komori-Kashima Problem\u201d, available at https:\/\/bitbucket.org\/yoshikinakamura\/komori-kashima-coq, 2020.","DOI":"10.1007\/s11225-021-09955-0"},{"key":"9955_CR14","unstructured":"The Coq\u00a0Development Team, The Coq Proof Assistant, Version 8.10.0, available at https:\/\/doi.org\/10.5281\/zenodo.3476303, 2019."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-021-09955-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11225-021-09955-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-021-09955-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,30]],"date-time":"2022-12-30T19:30:10Z","timestamp":1672428610000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11225-021-09955-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,6,11]]},"references-count":14,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2021,12]]}},"alternative-id":["9955"],"URL":"https:\/\/doi.org\/10.1007\/s11225-021-09955-0","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2021,6,11]]},"assertion":[{"value":"1 June 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"30 April 2021","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"11 June 2021","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}