{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T02:58:42Z","timestamp":1780973922779,"version":"3.54.1"},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2026,5,2]],"date-time":"2026-05-02T00:00:00Z","timestamp":1777680000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2026,5,2]],"date-time":"2026-05-02T00:00:00Z","timestamp":1777680000000},"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"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2026,6]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>\n                    The calculus\n                    <jats:bold>C<\/jats:bold>\n                    was introduced by H. Wansing as a constructive logic with strong negation. In addition,\n                    <jats:bold>C<\/jats:bold>\n                    validates the theses of connexive logic that are attributed to Aristotle and Boethius. A further remarkable property of\n                    <jats:bold>C<\/jats:bold>\n                    is that it is a non-trivial but negation inconsistent system: it has a formula and its negation as theorems. From a bilateralist-minded perspective, such a contradiction can be seen as the existence of both a verification and a falsification of one and the same formula. Relatedly, it has been noted by Wansing that there seems to be a kind of correspondence between these two types of derivations when it comes to a proof of contradiction. Following this observation, we attempt in this paper to introduce a precise notion for such a correspondence. We thence establish that this correspondence obtains in propositional and first-order versions of\n                    <jats:bold>C<\/jats:bold>\n                    , via formulations of suitable sequent and tableau calculi.\n                  <\/jats:p>","DOI":"10.1007\/s00153-026-01013-7","type":"journal-article","created":{"date-parts":[[2026,5,2]],"date-time":"2026-05-02T08:36:56Z","timestamp":1777711016000},"page":"593-629","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Correspondence of Contradictions in the Constructive Connexive Calculus C"],"prefix":"10.1007","volume":"65","author":[{"given":"Satoru","family":"Niki","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,5,2]]},"reference":[{"issue":"1","key":"1013_CR1","doi-asserted-by":"publisher","first-page":"231","DOI":"10.2307\/2274105","volume":"49","author":"A Almukdad","year":"1984","unstructured":"Almukdad, A., Nelson, D.: Constructible falsity and inexact predicates. The Journal of Symbolic Logic 49(1), 231\u2013233 (1984)","journal-title":"The Journal of Symbolic Logic"},{"key":"1013_CR2","doi-asserted-by":"crossref","unstructured":"Ayhan, S., Oddsson, H.V.: Proof-theoretic functional completeness for the connexive logic C. Studia Logica, 1\u201315 (2025)","DOI":"10.1007\/s11225-025-10200-1"},{"issue":"2","key":"1013_CR3","doi-asserted-by":"publisher","first-page":"187","DOI":"10.18778\/0138-0680.2023.18","volume":"52","author":"S Ayhan","year":"2023","unstructured":"Ayhan, S., Wansing, H.: On synonymy in proof-theoretic semantics: The case of 2Int. Bulletin of the Section of Logic 52(2), 187\u2013237 (2023)","journal-title":"Bulletin of the Section of Logic"},{"issue":"5","key":"1013_CR4","doi-asserted-by":"publisher","first-page":"665","DOI":"10.1093\/logcom\/exz010","volume":"29","author":"S Drobyshevich","year":"2019","unstructured":"Drobyshevich, S.: A bilateral Hilbert-style investigation of 2-intuitionistic logic. J. Log. Comput. 29(5), 665\u2013692 (2019)","journal-title":"J. Log. Comput."},{"issue":"Suppl 22","key":"1013_CR5","doi-asserted-by":"publisher","first-page":"5213","DOI":"10.1007\/s11229-019-02267-w","volume":"198","author":"S Drobyshevich","year":"2021","unstructured":"Drobyshevich, S.: Tarskian consequence relations bilaterally: some familiar notions. Synthese 198(Suppl 22), 5213\u20135240 (2021)","journal-title":"Synthese"},{"issue":"1","key":"1013_CR6","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/s11225-023-10057-2","volume":"112","author":"D Fazio","year":"2024","unstructured":"Fazio, D., Odintsov, S.P.: An algebraic investigation of the connexive logic C. Stud. Logica. 112(1), 37\u201367 (2024)","journal-title":"Stud. Logica."},{"issue":"3","key":"1013_CR7","first-page":"1","volume":"10","author":"H Ishihara","year":"2014","unstructured":"Ishihara, H.: Classical propositional logic and decidability of variables in intuitionistic propositional logic. Logical Methods in Computer Science (LMCS) 10(3), 1\u201323 (2014)","journal-title":"Logical Methods in Computer Science (LMCS)"},{"issue":"2","key":"1013_CR8","doi-asserted-by":"publisher","first-page":"157","DOI":"10.18778\/0138-0680.2025.04","volume":"54","author":"N Kamide","year":"2025","unstructured":"Kamide, N.: Cut-elimination and normalization theorems for connexive logics over Wansing\u2019s C. Bulletin of the Section of Logic 54(2), 157\u2013204 (2025)","journal-title":"Bulletin of the Section of Logic"},{"key":"1013_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.tcs.2011.11.001","volume":"415","author":"N Kamide","year":"2012","unstructured":"Kamide, N., Wansing, H.: Proof theory of Nelson\u2019s paraconsistent logic: A uniform perspective. Theoret. Comput. Sci. 415, 1\u201338 (2012)","journal-title":"Theoret. Comput. Sci."},{"key":"1013_CR10","volume-title":"Proof Theory of N4-related Paraconsistent Logics","author":"N Kamide","year":"2015","unstructured":"Kamide, N., Wansing, H.: Proof Theory of N4-related Paraconsistent Logics. College Publications London, London (2015)"},{"key":"1013_CR11","unstructured":"De\u00a0Martin\u00a0Polo, F.: Bilateral labeled sequent calculi. Notre Dame Journal of Formal Logic, 1\u201336 (Forthcoming)"},{"key":"1013_CR12","doi-asserted-by":"publisher","unstructured":"McCall, S.: A history of connexivity. In: Gabbay, D.M., Pelletier, F.J., Woods, J. (eds.) Logic: A History of Its Central Concepts. Handbook of the History of Logic, vol. 11, pp. 415\u2013449. North-Holland, Amsterdam (2012). https:\/\/doi.org\/10.1016\/B978-0-444-52937-4.50008-3","DOI":"10.1016\/B978-0-444-52937-4.50008-3"},{"key":"1013_CR13","volume-title":"A Short Introduction to Intuitionistic Logic","author":"G Mints","year":"2000","unstructured":"Mints, G.: A Short Introduction to Intuitionistic Logic. Kluwer Academic Publishers, New York (2000)"},{"issue":"1","key":"1013_CR14","doi-asserted-by":"publisher","first-page":"16","DOI":"10.2307\/2268973","volume":"14","author":"D Nelson","year":"1949","unstructured":"Nelson, D.: Constructible falsity. The Journal of Symbolic Logic 14(1), 16\u201326 (1949)","journal-title":"The Journal of Symbolic Logic"},{"key":"1013_CR15","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511527340","volume-title":"Structural Proof Theory","author":"S Negri","year":"2001","unstructured":"Negri, S., von Plato, J.: Structural Proof Theory. Cambridge University Press, Cambridge (2001)"},{"issue":"2","key":"1013_CR16","first-page":"125","volume":"11","author":"S Niki","year":"2024","unstructured":"Niki, S.: Intuitionistic views on connexive constructible falsity. Journal of Applied Logics 11(2), 125\u2013157 (2024)","journal-title":"Journal of Applied Logics"},{"key":"1013_CR17","first-page":"387","volume":"34","author":"S Niki","year":"2025","unstructured":"Niki, S.: Note on contradictions in Francez-Weiss logics. Logic Log. Philos. 34, 387\u2013416 (2025)","journal-title":"Logic Log. Philos."},{"issue":"1","key":"1013_CR18","first-page":"57","volume":"10","author":"G Olkhovikov","year":"2023","unstructured":"Olkhovikov, G.: On the completeness of some first-order extensions of C. Journal of Applied Logics 10(1), 57\u2013114 (2023)","journal-title":"Journal of Applied Logics"},{"key":"1013_CR19","first-page":"503","volume-title":"Advances in Modal Logic 13","author":"H Omori","year":"2020","unstructured":"Omori, H., Wansing, H.: An extension of connexive logic C. In: Olivietti, N., Verbrugge, R., Negri, S., Sandu, G. (eds.) Advances in Modal Logic 13, pp. 503\u2013522. College Publications, London (2020)"},{"key":"1013_CR20","volume-title":"Constructivism in Mathematics: An Introduction","author":"AS Troelstra","year":"1988","unstructured":"Troelstra, A.S., van Dalen, D.: Constructivism in Mathematics: An Introduction, vol. I. Elsevier, Amsterdam (1988)"},{"key":"1013_CR21","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139168717","volume-title":"Basic Proof Theory","author":"AS Troelstra","year":"2000","unstructured":"Troelstra, A.S., Schwichtenberg, H.: Basic Proof Theory, 2nd edn. Cambridge University Press, Cambridge (2000)","edition":"2"},{"key":"1013_CR22","first-page":"387","volume-title":"Advances in Modal Logic","author":"H Wansing","year":"2005","unstructured":"Wansing, H.: Connexive modal logic. In: Schmidt, R., Pratt-Hartmann, I., Reynolds, M., Wansing, H. (eds.) Advances in Modal Logic, vol. 5, pp. 387\u2013399. College Publications, London (2005)"},{"issue":"1","key":"1013_CR23","first-page":"13","volume":"26","author":"H Wansing","year":"2022","unstructured":"Wansing, H.: A case study in proof-theoretic tetralateralism. Intellektual\u2019nye Sistemy 26(1), 13\u201323 (2022)","journal-title":"Intellektual\u2019nye Sistemy"},{"key":"1013_CR24","volume-title":"The Stanford Encyclopedia of Philosophy, Summer","author":"H Wansing","year":"2023","unstructured":"Wansing, H.: Connexive Logic. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy, Summer, 2023rd edn. Stanford University, Online, Metaphysics Research Lab (2023)","edition":"2023"},{"key":"1013_CR25","doi-asserted-by":"crossref","unstructured":"Wansing, H.: A note on synonymy in proof-theoretic semantics. In: Peter Schroeder-Heister on Proof-Theoretic Semantics, pp. 339\u2013362. Springer, Cham (2024)","DOI":"10.1007\/978-3-031-50981-0_11"},{"key":"1013_CR26","doi-asserted-by":"publisher","first-page":"1603","DOI":"10.1007\/s10992-023-09720-9","volume":"52","author":"H Wansing","year":"2023","unstructured":"Wansing, H., Ayhan, S.: Logical multilateralism. J. Philos. Log. 52, 1603\u20131636 (2023)","journal-title":"J. Philos. Log."},{"key":"1013_CR27","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s11225-023-10082-1","volume":"112","author":"H Wansing","year":"2023","unstructured":"Wansing, H., Omori, H.: Connexive logic, connexivity, and connexivism: Remarks on terminology. Stud. Logica. 112, 1\u201335 (2023)","journal-title":"Stud. Logica."}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-026-01013-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00153-026-01013-7","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-026-01013-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T02:21:37Z","timestamp":1780971697000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00153-026-01013-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,5,2]]},"references-count":27,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2026,6]]}},"alternative-id":["1013"],"URL":"https:\/\/doi.org\/10.1007\/s00153-026-01013-7","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,5,2]]},"assertion":[{"value":"23 December 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"16 March 2026","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"2 May 2026","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare no competing interests.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Competing Interests"}}]}}