{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,26]],"date-time":"2025-11-26T22:07:02Z","timestamp":1764194822215,"version":"3.37.3"},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2023,11,11]],"date-time":"2023-11-11T00:00:00Z","timestamp":1699660800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2023,11,11]],"date-time":"2023-11-11T00:00:00Z","timestamp":1699660800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/100019180","name":"HORIZON EUROPE European Research Council","doi-asserted-by":"publisher","award":["ERC-2020-ADG, 101018280, ConLog"],"award-info":[{"award-number":["ERC-2020-ADG, 101018280, ConLog"]}],"id":[{"id":"10.13039\/100019180","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100006254","name":"Ruhr-Universit\u00e4t Bochum","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100006254","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J of Log Lang and Inf"],"published-print":{"date-parts":[[2023,12]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>N. Kamide introduced a pair of classical and constructive logics, each with a peculiar type of negation: its double negation behaves as classical and intuitionistic negation, respectively. A consequence of this is that the systems prove contradictions but are non-trivial. The present paper aims at giving insights into this phenomenon by investigating subsystems of Kamide\u2019s logics, with a focus on a system in which the double negation behaves as the negation of minimal logic. We establish the negation inconsistency of the system and embeddability of contradictions from other systems. In addition, we attempt at an informational interpretation of the negation using the dimathematical framework of H. Wansing.<\/jats:p>","DOI":"10.1007\/s10849-023-09413-1","type":"journal-article","created":{"date-parts":[[2023,11,11]],"date-time":"2023-11-11T12:01:22Z","timestamp":1699704082000},"page":"861-886","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Double Negation as Minimal Negation"],"prefix":"10.1007","volume":"32","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0882-806X","authenticated-orcid":false,"given":"Satoru","family":"Niki","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,11,11]]},"reference":[{"key":"9413_CR1","first-page":"1","volume-title":"Studies in logic and the foundations of mathematics","author":"PHG Aczel","year":"1968","unstructured":"Aczel, P. H. G. (1968). Saturated intuitionistic theories. In H. A. Schmidt, K. Sch\u00fctte, & H. J. Thiele (Eds.), Studies in logic and the foundations of mathematics (Vol. 50, pp. 1\u201311). Elsevier."},{"issue":"1","key":"9413_CR2","doi-asserted-by":"publisher","first-page":"231","DOI":"10.2307\/2274105","volume":"49","author":"A Almukdad","year":"1984","unstructured":"Almukdad, A., & Nelson, D. (1984). Constructible falsity and inexact predicates. The Journal of Symbolic Logic, 49(1), 231\u2013233.","journal-title":"The Journal of Symbolic Logic"},{"key":"9413_CR3","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/s11225-005-8468-5","volume":"80","author":"A Avron","year":"2005","unstructured":"Avron, A. (2005). A non-deterministic view on non-classical negations. Studia Logica, 80, 159\u2013194.","journal-title":"Studia Logica"},{"key":"9413_CR4","first-page":"29","volume":"33","author":"D Batens","year":"1999","unstructured":"Batens, D., DeClercq, K., & Kurtonina, N. (1999). Embedding and interpolation for some paralogics. The propositional case. Reports on Mathematical Logic, 33, 29\u201344.","journal-title":"Reports on Mathematical Logic"},{"key":"9413_CR5","unstructured":"Belikov, A., Grigoriev, O., & Zaitsev, D. (2022). On connegation. In Bimb\u00f3, K. (ed.) Relevance Logics and Other Tools for Reasoning. Essays in Honor of J. Michael Dunn, pp. 73\u201388. College Publications"},{"issue":"4","key":"9413_CR6","doi-asserted-by":"publisher","first-page":"649","DOI":"10.1007\/s11225-019-09869-y","volume":"108","author":"M B\u00edlkov\u00e1","year":"2020","unstructured":"B\u00edlkov\u00e1, M., & Colacito, A. (2020). Proof theory for positive logic with weak negation. Studia Logica, 108(4), 649\u2013686.","journal-title":"Studia Logica"},{"key":"9413_CR7","doi-asserted-by":"crossref","unstructured":"Colacito, A. (2016). Minimal and subminimal logic of negation. Master\u2019s thesis, University of Amsterdam","DOI":"10.1007\/s00500-016-2391-8"},{"key":"9413_CR8","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/s00500-016-2391-8","volume":"21","author":"A Colacito","year":"2017","unstructured":"Colacito, A., de Jongh, D., & Vargas, A. L. (2017). Subminimal negation. Soft Computing, 21, 165\u2013174.","journal-title":"Soft Computing"},{"key":"9413_CR9","doi-asserted-by":"publisher","unstructured":"Ferreira, G., & Oliva, P. (2011). On various negative translations. In: van Bakel, S., Berardi, S., Berger, U. (eds.) Proceedings Third International Workshop on Classical Logic and Computation, Brno, Czech Republic, 21-22 August 2010. Electronic Proceedings in Theoretical Computer Science, vol. 47, pp. 21\u201333. Open Publishing Association, Published Online . https:\/\/doi.org\/10.4204\/EPTCS.47.4","DOI":"10.4204\/EPTCS.47.4"},{"issue":"6","key":"9413_CR10","doi-asserted-by":"publisher","first-page":"797","DOI":"10.1093\/logcom\/1.6.797","volume":"1","author":"M Fitting","year":"1991","unstructured":"Fitting, M. (1991). Kleene\u2019s logic, generalized. Journal of Logic and Computation, 1(6), 797\u2013810.","journal-title":"Journal of Logic and Computation"},{"key":"9413_CR11","unstructured":"Glivenko, V. (1998). On some points of the logic of Mr. Brouwer. In: Mancosu, P. (ed.) From Brouwer to Hilbert: The Debate on the Foundations of Mathematics in the 1920s, pp. 301\u2013305. Oxford University Press, New York"},{"issue":"1","key":"9413_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1111\/j.1755-2567.1995.tb00489.x","volume":"61","author":"L Humberstone","year":"1995","unstructured":"Humberstone, L. (1995). Negation by iteration. Theoria, 61(1), 1\u201324.","journal-title":"Theoria"},{"issue":"4","key":"9413_CR13","doi-asserted-by":"publisher","first-page":"438","DOI":"10.1080\/00048400012349741","volume":"78","author":"L Humberstone","year":"2000","unstructured":"Humberstone, L. (2000). Contra-classical logics. Australasian Journal of Philosophy, 78(4), 438\u2013474.","journal-title":"Australasian Journal of Philosophy"},{"key":"9413_CR14","first-page":"119","volume":"4","author":"I Johansson","year":"1937","unstructured":"Johansson, I. (1937). Der Minimalkalk\u00fcl, ein reduzierter intuitionistischer Formalismus. Compositio Mathematica, 4, 119\u2013136.","journal-title":"Compositio Mathematica"},{"issue":"6","key":"9413_CR15","doi-asserted-by":"publisher","first-page":"1167","DOI":"10.1007\/s11225-017-9731-2","volume":"105","author":"N Kamide","year":"2017","unstructured":"Kamide, N. (2017). Paraconsistent double negations as classical and intuitionistic negations. Studia Logica, 105(6), 1167\u20131191.","journal-title":"Studia Logica"},{"issue":"1\/2","key":"9413_CR16","doi-asserted-by":"publisher","first-page":"33","DOI":"10.18778\/0138-0680.46.1.2.04","volume":"46","author":"AS Karpenko","year":"2017","unstructured":"Karpenko, A. S. (2017). Four-valued logics BD and DM4: Expansions. Bulletin of the Section of Logic, 46(1\/2), 33\u201345.","journal-title":"Bulletin of the Section of Logic"},{"key":"9413_CR17","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1017\/S0027763000010023","volume":"2","author":"S Kuroda","year":"1951","unstructured":"Kuroda, S. (1951). Intuitionistische Untersuchungen der formalistischen Logik. Nagoya Mathematical Journal, 2, 35\u201347.","journal-title":"Nagoya Mathematical Journal"},{"issue":"1","key":"9413_CR18","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/BF02120815","volume":"30","author":"EGK L\u00f3pez-Escobar","year":"1972","unstructured":"L\u00f3pez-Escobar, E. G. K. (1972). Constructions and negationless logic. Studia Logica, 30(1), 7\u201319.","journal-title":"Studia Logica"},{"issue":"1","key":"9413_CR19","doi-asserted-by":"publisher","first-page":"16","DOI":"10.2307\/2268973","volume":"14","author":"D Nelson","year":"1949","unstructured":"Nelson, D. (1949). Constructible falsity. The Journal of Symbolic Logic, 14(1), 16\u201326.","journal-title":"The Journal of Symbolic Logic"},{"issue":"2","key":"9413_CR20","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1007\/s11225-005-8472-9","volume":"80","author":"SP Odintsov","year":"2005","unstructured":"Odintsov, S. P. (2005). The class of extensions of Nelson\u2019s paraconsistent logic. Studia Logica, 80(2), 291\u2013320.","journal-title":"Studia Logica"},{"key":"9413_CR21","unstructured":"Omori, H., & Wansing, H. (2022). Varieties of negation and contra-classicality in view of Dunn semantics. In: Bimb\u00f3, K. (ed.) Relevance Logics and Other Tools for Reasoning. Essays in Honor of J. Michael Dunn, pp. 309\u2013337. College Publications, London"},{"issue":"4","key":"9413_CR22","doi-asserted-by":"publisher","first-page":"805","DOI":"10.1017\/S1755020318000308","volume":"11","author":"H Omori","year":"2018","unstructured":"Omori, H., & Wansing, H. (2018). On contra-classical variants of Nelson logic N4 and its classical extension. The Review of Symbolic Logic, 11(4), 805\u2013820.","journal-title":"The Review of Symbolic Logic"},{"key":"9413_CR23","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-13-7997-0","volume-title":"Proof theory and algebra in logic","author":"H Ono","year":"2019","unstructured":"Ono, H. (2019). Proof theory and algebra in logic. Springer."},{"key":"9413_CR24","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/978-3-030-31136-0_14","volume-title":"New essays on Belnap\u2013Dunn logic","author":"F Paoli","year":"2019","unstructured":"Paoli, F. (2019). Bilattice logics and demi-negation. In H. Omori & H. Wansing (Eds.), New essays on Belnap\u2013Dunn logic (pp. 233\u2013253). Springer."},{"issue":"3","key":"9413_CR25","doi-asserted-by":"publisher","first-page":"163","DOI":"10.2307\/2370324","volume":"43","author":"EL Post","year":"1921","unstructured":"Post, E. L. (1921). Introduction to a general theory of elementary propositions. American Journal of Mathematics, 43(3), 163\u2013185.","journal-title":"American Journal of Mathematics"},{"key":"9413_CR26","unstructured":"Ruet, P. (1996). Complete Sets of Connectives and Complete Sequent Calculus for Belnap\u2019s Logic. Ecole Normale Sup\u00e9rieure (Paris). Laboratoire d\u2019Informatique, Paris"},{"issue":"1","key":"9413_CR27","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1111\/j.1755-2567.1968.tb00337.x","volume":"34","author":"K Segerberg","year":"1968","unstructured":"Segerberg, K. (1968). Propositional logics related to Heyting\u2019s and Johansson\u2019s. Theoria, 34(1), 26\u201361.","journal-title":"Theoria"},{"key":"9413_CR28","volume-title":"Constructivism in mathematics: An introduction","author":"AS Troelstra","year":"1988","unstructured":"Troelstra, A. S., & van Dalen, D. (1988). Constructivism in mathematics: An introduction (Vol. I). Elsevier."},{"key":"9413_CR29","volume-title":"Logic and Structure","author":"D van Dalen","year":"2014","unstructured":"van Dalen, D. (2014). Logic and Structure (5th ed.). Springer.","edition":"5"},{"key":"9413_CR30","doi-asserted-by":"crossref","unstructured":"Wansing, H. (2022). One heresy and one orthodoxy: On dialetheism, dimathematism, and the non-normativity of logic. Erkenntnis, 1\u201325","DOI":"10.1007\/s10670-022-00528-8"}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-023-09413-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10849-023-09413-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-023-09413-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,24]],"date-time":"2023-11-24T12:15:42Z","timestamp":1700828142000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10849-023-09413-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,11,11]]},"references-count":30,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2023,12]]}},"alternative-id":["9413"],"URL":"https:\/\/doi.org\/10.1007\/s10849-023-09413-1","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"type":"print","value":"0925-8531"},{"type":"electronic","value":"1572-9583"}],"subject":[],"published":{"date-parts":[[2023,11,11]]},"assertion":[{"value":"30 October 2023","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"11 November 2023","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}