{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,28]],"date-time":"2025-06-28T12:23:37Z","timestamp":1751113417051},"reference-count":33,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2021,7,2]],"date-time":"2021-07-02T00:00:00Z","timestamp":1625184000000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":["cambridge.org"],"crossmark-restriction":true},"short-container-title":["The Review of Symbolic Logic"],"published-print":{"date-parts":[[2023,9]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Strong negation is a well-known alternative to the standard negation in intuitionistic logic. It is defined virtually by giving falsity conditions to each of the connectives. Among these, the falsity condition for implication appears to unnecessarily deviate from the standard negation. In this paper, we introduce a slight modification to strong negation, and observe its comparative advantages over the original notion. In addition, we consider the paraconsistent variants of our modification, and study their relationship with non-constructive principles and connexivity.<\/jats:p>","DOI":"10.1017\/s1755020321000290","type":"journal-article","created":{"date-parts":[[2021,7,2]],"date-time":"2021-07-02T09:34:29Z","timestamp":1625218469000},"page":"951-977","update-policy":"http:\/\/dx.doi.org\/10.1017\/policypage","source":"Crossref","is-referenced-by-count":4,"title":["IMPROVING STRONG NEGATION"],"prefix":"10.1017","volume":"16","author":[{"given":"SATORU","family":"NIKI","sequence":"first","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2021,7,2]]},"reference":[{"key":"S1755020321000290_r21","first-page":"205","volume-title":"Constructivity in Mathematics","author":"Nelson","year":"1959"},{"key":"S1755020321000290_r7","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-014-9595-7"},{"key":"S1755020321000290_r17","doi-asserted-by":"publisher","DOI":"10.2307\/2273956"},{"key":"S1755020321000290_r31","first-page":"387","volume-title":"Advances in Modal Logic","volume":"5","author":"Wansing","year":"2005"},{"key":"S1755020321000290_r8","first-page":"15","article-title":"Negation as a modal operator","volume":"20","author":"Do\u0161en","year":"1986","journal-title":"Reports on Mathematical Logic"},{"key":"S1755020321000290_r5","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/jzt026"},{"key":"S1755020321000290_r14","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-05206-9","volume-title":"Logics and Falsifications","volume":"40","author":"Kapsner","year":"2014"},{"key":"S1755020321000290_r11","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-10(3:1)2014"},{"key":"S1755020321000290_r25","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-13-7997-0"},{"key":"S1755020321000290_r28","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19690151602"},{"key":"S1755020321000290_r29","volume-title":"Constructivism in Mathematics: An Introduction","volume":"I","author":"Troelstra","year":"1988"},{"key":"S1755020321000290_r26","doi-asserted-by":"publisher","DOI":"10.1007\/BF02120864"},{"key":"S1755020321000290_r27","unstructured":"[28] Sotirov, V. K. (1982). The intuitionistic double negation is a modality. In Seventh International Wittgenstein Symposium. Austrian Ludwig Wittgenstein Society, p. 58."},{"key":"S1755020321000290_r16","doi-asserted-by":"publisher","DOI":"10.2307\/2270458"},{"key":"S1755020321000290_r24","first-page":"503","volume-title":"Advances in Modal Logic 13","author":"Omori","year":"2020"},{"key":"S1755020321000290_r9","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-2977-2"},{"key":"S1755020321000290_r4","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198537793.001.0001","volume-title":"Modal Logic","author":"Chagrov","year":"1997"},{"key":"S1755020321000290_r12","doi-asserted-by":"publisher","DOI":"10.1007\/s10849-021-09330-1"},{"key":"S1755020321000290_r10","doi-asserted-by":"publisher","DOI":"10.1007\/BF02121114"},{"key":"S1755020321000290_r3","first-page":"99","article-title":"Axiomatizations of intuitionistic double negation","volume":"12","author":"Bo\u017ei\u010d","year":"1983","journal-title":"Bulletin of the Section of Logic"},{"key":"S1755020321000290_r1","doi-asserted-by":"publisher","DOI":"10.2307\/2274105"},{"key":"S1755020321000290_r30","first-page":"195","article-title":"A constructive calculus of statements with strong negation (in Russian)","author":"Vorob\u2019ev","year":"1964","journal-title":"Trudy Matematicheskogo Instituta imeni V.A. Steklova"},{"key":"S1755020321000290_r32","doi-asserted-by":"publisher","DOI":"10.3166\/jancl.18.341-364"},{"key":"S1755020321000290_r33","article-title":"On The Propositional Calculus $\\mathbf{P}^{1}$","volume":"18","author":"Sette","year":"1973","journal-title":"Mathematica Japonica"},{"key":"S1755020321000290_r19","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/jzaa015"},{"key":"S1755020321000290_r22","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-6867-6"},{"key":"S1755020321000290_r23","first-page":"553","article-title":"Towards a bridge over two approaches in connexive logic","volume":"28","author":"Omori","year":"2019","journal-title":"Logic and Logical Philosophy"},{"key":"S1755020321000290_r13","volume-title":"Proof Theory of N4-Related Paraconsistent Logics","author":"Kamide","year":"2015"},{"key":"S1755020321000290_r6","doi-asserted-by":"publisher","DOI":"10.1007\/s12136-011-0138-9"},{"key":"S1755020321000290_r15","first-page":"187","article-title":"Constructive logic (in Russian)","volume":"5","author":"Markov","year":"1950","journal-title":"Russian Mathematical Survey"},{"key":"S1755020321000290_r18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-57669-4_16"},{"key":"S1755020321000290_r20","doi-asserted-by":"publisher","DOI":"10.2307\/2268973"},{"key":"S1755020321000290_r2","first-page":"227","article-title":"A rich paraconsistent extension of full positive logic","volume":"185\u2013188","author":"Batens","year":"2004","journal-title":"Logique et Analyse"}],"container-title":["The Review of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1755020321000290","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,5]],"date-time":"2023-11-05T15:22:59Z","timestamp":1699197779000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1755020321000290\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,7,2]]},"references-count":33,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2023,9]]}},"alternative-id":["S1755020321000290"],"URL":"https:\/\/doi.org\/10.1017\/s1755020321000290","relation":{},"ISSN":["1755-0203","1755-0211"],"issn-type":[{"value":"1755-0203","type":"print"},{"value":"1755-0211","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,7,2]]},"assertion":[{"value":"\u00a9 The Author(s), 2021. Published by Cambridge University Press on behalf of The Association for Symbolic Logic","name":"copyright","label":"Copyright","group":{"name":"copyright_and_licensing","label":"Copyright and Licensing"}}]}}