{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,27]],"date-time":"2025-05-27T17:44:29Z","timestamp":1748367869275,"version":"3.37.3"},"reference-count":52,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2023,5,2]],"date-time":"2023-05-02T00:00:00Z","timestamp":1682985600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2023,5,2]],"date-time":"2023-05-02T00:00:00Z","timestamp":1682985600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"name":"PRIN 2017"},{"DOI":"10.13039\/100014810","name":"Fondazione di Sardegna","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100014810","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2024,4]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We show that intuitionistic logic is deductively equivalent to Connexive Heyting Logic (<jats:inline-formula><jats:alternatives><jats:tex-math>$$\\textrm{CHL}$$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mtext>CHL<\/mml:mtext>\n                <\/mml:math><\/jats:alternatives><\/jats:inline-formula>), hereby introduced as an example of a strongly connexive logic with an intuitive semantics. We use the <jats:italic>reverse algebraisation<\/jats:italic> paradigm: <jats:inline-formula><jats:alternatives><jats:tex-math>$$\\textrm{CHL}$$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mtext>CHL<\/mml:mtext>\n                <\/mml:math><\/jats:alternatives><\/jats:inline-formula> is presented as the assertional logic of a point regular variety (whose structure theory is examined in detail) that turns out to be term equivalent to the variety of Heyting algebras. We provide Hilbert-style and Gentzen-style proof systems for <jats:inline-formula><jats:alternatives><jats:tex-math>$$\\textrm{CHL}$$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mtext>CHL<\/mml:mtext>\n                <\/mml:math><\/jats:alternatives><\/jats:inline-formula>; moreover, we suggest a possible computational interpretation of its connexive conditional, and we revisit Kapsner\u2019s idea of superconnexivity.<\/jats:p>","DOI":"10.1007\/s11225-023-10044-7","type":"journal-article","created":{"date-parts":[[2023,5,2]],"date-time":"2023-05-02T19:03:04Z","timestamp":1683054184000},"page":"95-139","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Intuitionistic Logic is a Connexive Logic"],"prefix":"10.1007","volume":"112","author":[{"given":"Davide","family":"Fazio","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonio","family":"Ledda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesco","family":"Paoli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,5,2]]},"reference":[{"key":"10044_CR1","doi-asserted-by":"crossref","first-page":"721","DOI":"10.1007\/s00500-010-0604-0","volume":"15","author":"M Abad","year":"2011","unstructured":"Abad, M., J.M. Cornejo, and J.P. D\u00edaz Varela, The variety generated by semi-Heyting chains, Soft Computing 15:721\u2013728, 2011.","journal-title":"Soft Computing"},{"key":"10044_CR2","doi-asserted-by":"crossref","first-page":"625","DOI":"10.1007\/s11083-012-9266-0","volume":"30","author":"M Abad","year":"2013","unstructured":"Abad, M., J.M. Cornejo, and J.P. D\u00edaz Varela, Semi-Heyting algebras term-equivalent to Goedel algebras, Order 30:625\u2013642, 2013.","journal-title":"Order"},{"key":"10044_CR3","doi-asserted-by":"crossref","first-page":"296","DOI":"10.1007\/s000120050020","volume":"37","author":"P Aglian\u00f2","year":"1997","unstructured":"Aglian\u00f2, P., and A. Ursini, On subtractive varieties III: From ideals to congruences, Algebra Universalis 37:296\u2013333, 1997.","journal-title":"Algebra Universalis"},{"issue":"3","key":"10044_CR4","doi-asserted-by":"crossref","first-page":"327","DOI":"10.2307\/2964651","volume":"27","author":"RB Angell","year":"1962","unstructured":"Angell, R.B., A propositional logic with subjunctive conditionals, Journal of Symbolic Logic 27(3):327\u2013343, 1962.","journal-title":"Journal of Symbolic Logic"},{"key":"10044_CR5","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1007\/s11225-006-8299-z","volume":"83","author":"WJ Blok","year":"2006","unstructured":"Blok, W.J., and B. J\u00f3nsson, Equivalence of consequence operations, Studia Logica 83:91\u2013110, 2006.","journal-title":"Studia Logica"},{"key":"10044_CR6","doi-asserted-by":"crossref","first-page":"334","DOI":"10.1007\/BF01203370","volume":"18","author":"WJ Blok","year":"1984","unstructured":"Blok, W.J., P. K\u00f6hler, and D. Pigozzi, On the structure of varieties with equationally definable principal congruences II, Algebra Universalis 18:334\u2013379, 1984.","journal-title":"Algebra Universalis"},{"key":"10044_CR7","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1007\/BF02483723","volume":"15","author":"WJ Blok","year":"1982","unstructured":"Blok, W.J., and D. Pigozzi, On the structure of varieties with equationally definable principal congruences I, Algebra Universalis 15:195\u2013227, 1982.","journal-title":"Algebra Universalis"},{"doi-asserted-by":"crossref","unstructured":"Blok, W.J., and D. Pigozzi, Algebraizable Logics, vol. 77, no. 396 of Memoirs of the American Mathematical Society American Mathematical Society, Providence, RI, 1989.","key":"10044_CR8","DOI":"10.1090\/memo\/0396"},{"key":"10044_CR9","doi-asserted-by":"crossref","first-page":"545","DOI":"10.1007\/BF01195727","volume":"32","author":"WJ Blok","year":"1994","unstructured":"Blok, W.J., and D. Pigozzi, On the structure of varieties with equationally definable principal congruences III, Algebra Universalis 32:545\u2013608, 1994.","journal-title":"Algebra Universalis"},{"key":"10044_CR10","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF01188178","volume":"31","author":"WJ Blok","year":"1994","unstructured":"Blok, W.J., and D. Pigozzi, On the structure of varieties with equationally definable principal congruences IV, Algebra Universalis 31:1\u201335, 1994.","journal-title":"Algebra Universalis"},{"key":"10044_CR11","first-page":"167","volume-title":"Models, Algebras and Proofs","author":"WJ Blok","year":"1999","unstructured":"Blok, W.J., and J.G. Raftery, Ideals in quasivarieties of algebras, in X. Caicedo, and C.H. Montenegro, (eds.), Models, Algebras and Proofs, Dekker, New York, 1999, pp. 167\u2013186."},{"key":"10044_CR12","doi-asserted-by":"crossref","first-page":"589","DOI":"10.1142\/S0218196708004627","volume":"18","author":"WJ Blok","year":"2008","unstructured":"Blok, W.J., and J.G. Raftery, Assertionally equivalent quasivarieties, International Journal of Algebra and Computation 18:589\u2013681, 2008.","journal-title":"International Journal of Algebra and Computation"},{"key":"10044_CR13","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-8130-3","volume-title":"A Course in Universal Algebra","author":"S Burris","year":"1981","unstructured":"Burris, S., and H.P. Sankappanavar, A Course in Universal Algebra, Springer, Berlin, 1981."},{"key":"10044_CR14","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1007\/978-3-7643-8354-1_6","volume-title":"Logica Universalis: Towards a General Theory of Logic","author":"C Caleiro","year":"2007","unstructured":"Caleiro, C., and R. Gon\u00e7alves, Equipollent logical systems, in J.-Y. Beziau, (ed.), Logica Universalis: Towards a General Theory of Logic, 2nd edition, Birkh\u00e4user Verlag, Basel, 2007, pp. 97\u2013109.","edition":"2"},{"key":"10044_CR15","first-page":"67","volume":"157","author":"WA Carnielli","year":"1997","unstructured":"Carnielli, W.A., and I.M.L. D\u2019Ottaviano, Translations between logical systems: A manifesto, Logique Et Analyse 157:67\u201381, 1997.","journal-title":"Logique Et Analyse"},{"issue":"6","key":"10044_CR16","doi-asserted-by":"crossref","first-page":"1245","DOI":"10.1007\/s11225-016-9675-y","volume":"104","author":"D Casta\u00f1o","year":"2016","unstructured":"Casta\u00f1o, D., J.M. Cornejo, and I.D. Viglizzo, Gentzen-style sequent calculus for semi-intuitionistic logic, Studia Logica 104(6):1245\u20131265, 2016.","journal-title":"Studia Logica"},{"unstructured":"Cornejo, J.M., and H.P. Sankappanavar, A logic for dually hemimorphic semi-Heyting algebras and its axiomatic extensions, arXiv:1908.02403.","key":"10044_CR17"},{"key":"10044_CR18","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1007\/s11225-014-9568-x","volume":"103","author":"JM Cornejo","year":"2015","unstructured":"Cornejo, J.M., and I.D. Viglizzo, On some semi-intuitionistic logics, Studia Logica 103:303\u2013344, 2015.","journal-title":"Studia Logica"},{"key":"10044_CR19","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1007\/BF02584057","volume":"45","author":"J Czelakowski","year":"1981","unstructured":"Czelakowski, J., Equivalential logics I, Studia Logica 45:227\u2013236, 1981.","journal-title":"Studia Logica"},{"key":"10044_CR20","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1007\/s10992-020-09549-6","volume":"50","author":"P Egr\u00e9","year":"2021","unstructured":"Egr\u00e9, P., L. Rossi, and J. Sprenger, De Finettian logics of indicative conditionals. Part I: Trivalent semantics and validity, Journal of Philosophical Logic 50:187\u2013213, 2021.","journal-title":"Journal of Philosophical Logic"},{"unstructured":"Estrada Gonz\u00e1lez, L., and M. Klonowski, An analysis of poly-connexivity in Boolean connexive logics, talk presented at Trends in Logic 21, Frontiers of Connexive Logics, Bochum, 6-8 December 2021.","key":"10044_CR21"},{"key":"10044_CR22","first-page":"21","volume":"12","author":"K Fichtner","year":"1970","unstructured":"Fichtner, K., Eine Bermerkung \u00fcber ber Mannigfaltigkeiten universeller Algebren mit Idealen, Monatsh. d. Deutsch. Akad. d. Wiss. (Berlin) 12:21\u201325, 1970.","journal-title":"Monatsh. d. Deutsch. Akad. d. Wiss. (Berlin)"},{"key":"10044_CR23","volume-title":"Abstract Algebraic Logic: An Introductory Textbook","author":"JM Font","year":"2016","unstructured":"Font, J.M., Abstract Algebraic Logic: An Introductory Textbook, College Publications, London, 2016."},{"key":"10044_CR24","doi-asserted-by":"crossref","first-page":"176","DOI":"10.1007\/BF02482900","volume":"10","author":"E Fried","year":"1980","unstructured":"Fried, E., G. Gr\u00e4tzer, and R. Quackenbush, Uniform congruence schemes, Algebra Universalis 10:176\u2013189, 1980.","journal-title":"Algebra Universalis"},{"unstructured":"Gyuris, V., Variations of Algebraizability, Ph.D. thesis, The University of Illinois at Chicago, 1999.","key":"10044_CR25"},{"key":"10044_CR26","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1007\/BF01191491","volume":"19","author":"HP Gumm","year":"1984","unstructured":"Gumm, H.P., and A. Ursini, Ideals in universal algebra, Algebra Universalis 19:45\u201354, 1984.","journal-title":"Algebra Universalis"},{"key":"10044_CR27","doi-asserted-by":"crossref","first-page":"613","DOI":"10.2307\/2309121","volume":"65","author":"H Hiz","year":"1958","unstructured":"Hiz, H., A warning about translating axioms, American Mathematical Monthly 65:613\u2013614, 1958.","journal-title":"American Mathematical Monthly"},{"issue":"1","key":"10044_CR28","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1080\/01445349808837294","volume":"19","author":"L Humberstone","year":"1998","unstructured":"Humberstone, L., Choice of primitives: A note on axiomatizing intuitionistic logic, History and Philosophy of Logic 19(1):31\u201340, 1998.","journal-title":"History and Philosophy of Logic"},{"issue":"4","key":"10044_CR29","doi-asserted-by":"crossref","first-page":"438","DOI":"10.1080\/00048400012349741","volume":"78","author":"L Humberstone","year":"2000","unstructured":"Humberstone, L., Contra-classical logics, Australasian Journal of Philosophy 78(4):438\u2013474, 2000.","journal-title":"Australasian Journal of Philosophy"},{"issue":"3","key":"10044_CR30","first-page":"427","volume":"28","author":"T Jarmuzek","year":"2019","unstructured":"Jarmu\u017cek, T., and J. Malinowski, Boolean connexive logics: Semantics and tableau approach, Logic and Logical Philosophy 28(3):427\u2013448, 2019.","journal-title":"Logic and Logical Philosophy"},{"issue":"2","key":"10044_CR31","first-page":"141","volume":"1","author":"A Kapsner","year":"2012","unstructured":"Kapsner, A., Strong connexivity, Thought 1(2):141\u2013145, 2012.","journal-title":"Thought"},{"key":"10044_CR32","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-05206-9","volume-title":"Logics and Falsifications: A New Perspective on Constructivist Semantics","author":"A Kapsner","year":"2014","unstructured":"Kapsner, A., Logics and Falsifications: A New Perspective on Constructivist Semantics, Springer, Berlin, 2014."},{"unstructured":"Kapsner, A., and H. Omori, Superconnexivity reconsidered, talk presented at Trends in Logic 21, Frontiers of Connexive Logics, Bochum, 6-8 December 2021.","key":"10044_CR33"},{"key":"10044_CR34","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1007\/BF02483100","volume":"11","author":"P K\u00f6hler","year":"1980","unstructured":"K\u00f6hler, P., and D. Pigozzi, Varieties with equationally definable principal congruences, Algebra Universalis 11:213\u2013219, 1980.","journal-title":"Algebra Universalis"},{"key":"10044_CR35","doi-asserted-by":"crossref","first-page":"405","DOI":"10.31577\/orgf.2019.26304","volume":"26","author":"E Mares","year":"2019","unstructured":"Mares, E., and F. Paoli, C.I. Lewis, E.J. Nelson, and the modern origins of connexive logic, Organon F 26:405\u2013426, 2019.","journal-title":"Organon F"},{"key":"10044_CR36","first-page":"415","volume-title":"Handbook of the History of Logic","author":"S McCall","year":"2012","unstructured":"McCall, S., A history of connexivity, in D.M. Gabbay, F.J. Pelletier, and J. Woods, (eds.), Handbook of the History of Logic, vol. 11, Elsevier, Amsterdam, 2012, pp. 415\u2013449."},{"key":"10044_CR37","volume-title":"Structural Proof Theory","author":"S Negri","year":"2008","unstructured":"Negri, S., and J. von Plato, Structural Proof Theory, Cambridge University Press, Cambridge, 2008."},{"issue":"156","key":"10044_CR38","doi-asserted-by":"crossref","first-page":"440","DOI":"10.1093\/mind\/XXXIX.156.440","volume":"39","author":"EJ Nelson","year":"1930","unstructured":"Nelson, E.J., Intensional relations, Mind 39(156):440\u2013453, 1930.","journal-title":"Mind"},{"issue":"3","key":"10044_CR39","first-page":"371","volume":"28","author":"H Omori","year":"2019","unstructured":"Omori, H., and H. Wansing, Connexive logics. An overview and current trends, Logic and Logical Philosophy 28(3):371\u2013387, 2019.","journal-title":"Logic and Logical Philosophy"},{"key":"10044_CR40","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0168-0072(98)00058-X","volume":"98","author":"A Pynko","year":"1999","unstructured":"Pynko, A., Definitional equivalence and algebraizability of generalized logical systems, Annals of Pure and Applied Logic 98:1\u201368, 1999.","journal-title":"Annals of Pure and Applied Logic"},{"issue":"3","key":"10044_CR41","doi-asserted-by":"crossref","first-page":"903","DOI":"10.2178\/jsl\/1154698583","volume":"71","author":"JG Raftery","year":"2006","unstructured":"Raftery, J.G., Correspondences between Gentzen and Hilbert systems, Journal of Symbolic Logic 71(3):903\u2013957, 2006.","journal-title":"Journal of Symbolic Logic"},{"unstructured":"Sankappanavar, H.P., Semi-Heyting algebras: An abstraction from Heyting algebras, Actas del IX Congreso dr. Antonio A.R. Monteiro, 2007, pp. 33\u201366.","key":"10044_CR42"},{"issue":"2","key":"10044_CR43","doi-asserted-by":"crossref","first-page":"248","DOI":"10.1305\/ndjfl\/1093887928","volume":"18","author":"S Shapiro","year":"1977","unstructured":"Shapiro, S., Incomplete translations of complete logics, Notre Dame Journal of Formal Logic 18(2):248\u2013250, 1977.","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"3","key":"10044_CR44","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1007\/s11225-008-9113-x","volume":"88","author":"M Spinks","year":"2008","unstructured":"Spinks, M., and R. Veroff, Constructive logic with strong negation is a substructural logic I, Studia Logica 88(3):325\u2013348, 2008.","journal-title":"Studia Logica"},{"issue":"3","key":"10044_CR45","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1007\/s11225-008-9138-1","volume":"89","author":"M Spinks","year":"2008","unstructured":"Spinks, M., and R. Veroff, Constructive logic with strong negation is a substructural logic II, Studia Logica 89(3): 401\u2013425, 2008.","journal-title":"Studia Logica"},{"key":"10044_CR46","volume-title":"Constructivism in Mathematics","author":"A Troelstra","year":"1988","unstructured":"Troelstra, A., and D. van Dalen, Constructivism in Mathematics, vol. 2, North Holland, Amsterdam, 1988."},{"unstructured":"van Alten, C., An Algebraic Study of Residuated Ordered Monoids and Logics without Exchange and Contraction, PhD Thesis, University of Natal, 1998.","key":"10044_CR47"},{"key":"10044_CR48","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-56734-8","volume-title":"The Logic of Information Structures","author":"A Wansing","year":"1993","unstructured":"Wansing, A., The Logic of Information Structures, Springer, Berlin, 1993."},{"issue":"1","key":"10044_CR49","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1023\/A:1005217827758","volume":"64","author":"H Wansing","year":"2000","unstructured":"Wansing, H., The idea of a proof-theoretic semantics and the meaning of the logical operations, Studia Logica 64(1):3\u201320, 2000.","journal-title":"Studia Logica"},{"key":"10044_CR50","first-page":"367","volume-title":"Advances in Modal Logic","author":"H Wansing","year":"2005","unstructured":"Wansing, H., Connexive modal logic, in R. Schmidt, I. Pratt-Hartmann, M. Reynolds, and H. Wansing, (eds.), Advances in Modal Logic, King\u2019s College Publications, London, 2005, pp. 367\u2013383."},{"unstructured":"Wansing, H., Connexive logic, in E.N. Zalta (ed.), The Stanford Encyclopedia of Philosophy (Spring 2021 Edition), https:\/\/plato.stanford.edu\/archives\/spr2021\/entries\/logic-connexive\/.","key":"10044_CR51"},{"unstructured":"Wansing, H., H. Omori, and T.M. Ferguson, Editorial preface, IfCoLog, special issue on connexive logics, 3(3):279\u2013295, 2016.","key":"10044_CR52"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-023-10044-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11225-023-10044-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-023-10044-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,4]],"date-time":"2024-04-04T08:14:09Z","timestamp":1712218449000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11225-023-10044-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,5,2]]},"references-count":52,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2024,4]]}},"alternative-id":["10044"],"URL":"https:\/\/doi.org\/10.1007\/s11225-023-10044-7","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2023,5,2]]},"assertion":[{"value":"6 March 2023","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"2 May 2023","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}