{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T03:23:05Z","timestamp":1740108185659,"version":"3.37.3"},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"7-8","license":[{"start":{"date-parts":[[2020,3,7]],"date-time":"2020-03-07T00:00:00Z","timestamp":1583539200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,3,7]],"date-time":"2020-03-07T00:00:00Z","timestamp":1583539200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100001509","name":"Royal Society of New Zealand","doi-asserted-by":"publisher","award":["UOC1205","RISE project CORCON"],"award-info":[{"award-number":["UOC1205","RISE project CORCON"]}],"id":[{"id":"10.13039\/501100001509","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2020,11]]},"DOI":"10.1007\/s00153-020-00722-x","type":"journal-article","created":{"date-parts":[[2020,3,7]],"date-time":"2020-03-07T12:02:53Z","timestamp":1583582573000},"page":"905-924","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Classifying material implications over minimal logic"],"prefix":"10.1007","volume":"59","author":[{"given":"Hannes","family":"Diener","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4229-6404","authenticated-orcid":false,"given":"Maarten","family":"McKubre-Jordens","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,3,7]]},"reference":[{"key":"722_CR1","volume-title":"Dirk Gently\u2019s Holistic Detective Agency","author":"D Adams","year":"1987","unstructured":"Adams, D.: Dirk Gently\u2019s Holistic Detective Agency. William Heinemann Ltd., UK (1987)"},{"key":"722_CR2","volume-title":"Entailment: The Logic of Relevance and Necessity","author":"AR Anderson","year":"1975","unstructured":"Anderson, A.R., Belnap, N.D.: Entailment: The Logic of Relevance and Necessity, vol. 1. Princeton University Press, Princeton (1975)"},{"key":"722_CR3","doi-asserted-by":"crossref","unstructured":"Arruda, A.I.: Aspects of the historical development of paraconsistent logic. In: Priest, G., Routley, R., Norman, J. (eds.) Paraconsistent Logic: Essays on the Inconsistent, pp. 99\u2013130 (1989)","DOI":"10.2307\/j.ctv2x8v8c7.6"},{"key":"722_CR4","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/978-94-010-1161-7_2","volume-title":"Modern Uses of Multiple-Valued Logic","author":"ND Belnap","year":"1977","unstructured":"Belnap, N.D.: A useful four-valued logic. In: Dunn, J.M., Epstein, G. (eds.) Modern Uses of Multiple-Valued Logic, pp. 5\u201337. Springer, Dordrecht (1977)"},{"key":"722_CR5","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198537793.001.0001","volume-title":"Modal Logic. Oxford Logic Guides","author":"A Chagrov","year":"1997","unstructured":"Chagrov, A., Zakharyaschev, M.: Modal Logic. Oxford Logic Guides. Clarendon Press, Oxford (1997)"},{"issue":"3","key":"722_CR6","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1093\/logcom\/exq058","volume":"22","author":"GR de Lavalette","year":"2010","unstructured":"de Lavalette, G.R., Hendriks, L., de Jongh, D.: Intuitionistic implication without disjunction. J. Logic Comput. 22(3), 375\u2013404 (2010)","journal-title":"J. Logic Comput."},{"key":"722_CR7","volume-title":"Deviant Logic, Fuzzy Logic: Beyond the Formalism","author":"S Haack","year":"1996","unstructured":"Haack, S.: Deviant Logic, Fuzzy Logic: Beyond the Formalism. Cambridge University Press, Cambridge (1996)"},{"key":"722_CR8","unstructured":"Heerkens, N.: Studies in Minimal Mathematics. Ph.D. thesis. Master\u2019s Thesis, University of Amsterdam (2008)"},{"key":"722_CR9","first-page":"67","volume":"5","author":"T Hosoi","year":"1973","unstructured":"Hosoi, T., Ono, H.: Intermediate propositional logics (a survey). J. Tsuda Coll. 5, 67\u201382 (1973)","journal-title":"J. Tsuda Coll."},{"key":"722_CR10","first-page":"43","volume":"6","author":"H Ishihara","year":"2006","unstructured":"Ishihara, H.: Reverse mathematics in bishop\u2019s constructive mathematics. Philos. Scienti\u00e6 Cahier sp\u00e9cial 6, 43\u201359 (2006)","journal-title":"Philos. Scienti\u00e6 Cahier sp\u00e9cial"},{"key":"722_CR11","doi-asserted-by":"publisher","DOI":"10.1002\/malq.201400099","author":"H Ishihara","year":"2016","unstructured":"Ishihara, H., Schwichtenberg, H.: Embedding classical in minimal implicational logic. Math. Logic Q. (2016). https:\/\/doi.org\/10.1002\/malq.201400099","journal-title":"Math. Logic Q."},{"issue":"6","key":"722_CR12","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/s10469-005-0038-4","volume":"44","author":"LL Maksimova","year":"2005","unstructured":"Maksimova, L.L.: Interpolation and definability in extensions of the minimal logic. Algebra Log. 44(6), 407\u2013421 (2005). https:\/\/doi.org\/10.1007\/s10469-005-0038-4","journal-title":"Algebra Log."},{"key":"722_CR13","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1016\/j.entcs.2006.05.040","volume":"165","author":"LL Maksimova","year":"2006","unstructured":"Maksimova, L.L.: On interpolation problem in paraconsistent extensions of the minimal logic. Electron. Notes Theor. Comput. Sci. 165, 107\u2013119 (2006). https:\/\/doi.org\/10.1016\/j.entcs.2006.05.040","journal-title":"Electron. Notes Theor. Comput. Sci."},{"issue":"3","key":"722_CR14","first-page":"417","volume":"78","author":"SP Odintsov","year":"2004","unstructured":"Odintsov, S.P.: Negative equivalence of extensions of minimal logic. Stud. L. Int. J. Symb. Log. 78(3), 417\u2013442 (2004)","journal-title":"Stud. L. Int. J. Symb. Log."},{"issue":"1","key":"722_CR15","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/j.jal.2004.07.011","volume":"3","author":"SP Odintsov","year":"2005","unstructured":"Odintsov, S.P.: On the structure of paraconsistent extensions of Johansson\u2019s logic. J. Appl. Log. 3(1), 43\u201365 (2005)","journal-title":"J. Appl. Log."},{"key":"722_CR16","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-6867-6","volume-title":"Constructive Negations and Paraconsistency. Trends in Logic","author":"SP Odintsov","year":"2008","unstructured":"Odintsov, S.P.: Constructive Negations and Paraconsistency. Trends in Logic. Springer, Cham (2008)"},{"key":"722_CR17","volume-title":"Substructural Logics: A Primer Trends in Logic","author":"F Paoli","year":"2013","unstructured":"Paoli, F.: Substructural Logics: A Primer Trends in Logic. Springer, Cham (2013)"},{"volume-title":"Paraconsistent Logic: Essays on the Inconsistent","year":"1989","key":"722_CR18","unstructured":"Priest, G., Routley, R., Norman, J. (eds.): Paraconsistent Logic: Essays on the Inconsistent. Philosophia Verlag, Munich (1989)"},{"key":"722_CR19","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139166775","volume-title":"Paradoxes","author":"R Sainsbury","year":"1995","unstructured":"Sainsbury, R.: Paradoxes. Cambridge University Press, Cambridge (1995)"},{"issue":"2","key":"722_CR20","doi-asserted-by":"publisher","first-page":"141","DOI":"10.2307\/2964756","volume":"24","author":"T Umezawa","year":"1959","unstructured":"Umezawa, T.: On logics intermediate between intuitionistic and classical predicate logic. J. Symb. Log. 24(2), 141\u2013153 (1959)","journal-title":"J. Symb. Log."},{"issue":"1","key":"722_CR21","doi-asserted-by":"crossref","first-page":"159","DOI":"10.2307\/2272955","volume":"41","author":"W Veldman","year":"1976","unstructured":"Veldman, W.: An intuitionistic completeness theorem for intuitionistic predicate logic. J. Symb. Log. 41(1), 159\u2013166 (1976)","journal-title":"J. Symb. Log."},{"key":"722_CR22","unstructured":"Vizca\u00edno, P.F.V.: Some uses of cut elimination. Ph.D. thesis (2013)"},{"key":"722_CR23","unstructured":"Weich, K.: Improving proof search in intuitionistic propositional logic. Ph.D. thesis (2001)"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-020-00722-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-020-00722-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-020-00722-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,1]],"date-time":"2024-08-01T19:58:59Z","timestamp":1722542339000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-020-00722-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,3,7]]},"references-count":23,"journal-issue":{"issue":"7-8","published-print":{"date-parts":[[2020,11]]}},"alternative-id":["722"],"URL":"https:\/\/doi.org\/10.1007\/s00153-020-00722-x","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"type":"print","value":"0933-5846"},{"type":"electronic","value":"1432-0665"}],"subject":[],"published":{"date-parts":[[2020,3,7]]},"assertion":[{"value":"16 May 2016","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"14 February 2020","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"7 March 2020","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}