{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T11:58:53Z","timestamp":1759147133071,"version":"3.40.5"},"reference-count":34,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2023,7,24]],"date-time":"2023-07-24T00:00:00Z","timestamp":1690156800000},"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":[[2024,9]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>This paper is devoted to the investigation of term-definable connexive implications in substructural logics with exchange and, on the semantical perspective, in sub-varieties of commutative residuated lattices (FL<jats:inline-formula><jats:alternatives><jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" mime-subtype=\"png\" xlink:href=\"S1755020323000254_inline1.png\"\/><jats:tex-math>\n${}_{\\scriptsize\\mbox{e}}$\n<\/jats:tex-math><\/jats:alternatives><\/jats:inline-formula>-algebras). In particular, we inquire into sufficient and necessary conditions under which generalizations of the connexive implication-like operation defined in [6] for Heyting algebras still satisfy connexive theses. It will turn out that, in most cases, connexive principles are equivalent to the equational Glivenko property with respect to Boolean algebras. Furthermore, we provide some philosophical upshots like, e.g., a discussion on the relevance of the above operation in relationship with G. Polya\u2019s logic of plausible inference, and some characterization results on weak and strong connexivity.<\/jats:p>","DOI":"10.1017\/s1755020323000254","type":"journal-article","created":{"date-parts":[[2023,7,24]],"date-time":"2023-07-24T08:41:56Z","timestamp":1690188116000},"page":"878-909","update-policy":"https:\/\/doi.org\/10.1017\/policypage","source":"Crossref","is-referenced-by-count":2,"title":["CONNEXIVE IMPLICATIONS IN SUBSTRUCTURAL LOGICS"],"prefix":"10.1017","volume":"17","author":[{"given":"DAVIDE","family":"FAZIO","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5509-2980","authenticated-orcid":false,"given":"GAVIN","family":"ST. JOHN","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2023,7,24]]},"reference":[{"key":"S1755020323000254_r3","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-8130-3"},{"volume-title":"The Stanford Encyclopedia of Philosophy","year":"2006","author":"Wansing","key":"S1755020323000254_r29"},{"key":"S1755020323000254_r22","doi-asserted-by":"publisher","DOI":"10.1007\/s11023-017-9425-6"},{"key":"S1755020323000254_r12","doi-asserted-by":"publisher","DOI":"10.1080\/00048400012349741"},{"key":"S1755020323000254_r4","doi-asserted-by":"publisher","DOI":"10.1515\/9783110876802.107"},{"key":"S1755020323000254_r1","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-011-9346-y"},{"key":"S1755020323000254_r17","doi-asserted-by":"publisher","DOI":"10.1016\/j.jal.2004.07.017"},{"volume-title":"Mathematics and Plausible Reasoning","year":"1990","author":"Polya","key":"S1755020323000254_r26"},{"key":"S1755020323000254_r25","doi-asserted-by":"publisher","DOI":"10.1111\/j.1746-8361.1949.tb00852.x"},{"key":"S1755020323000254_r19","first-page":"415","volume-title":"Handbook of the History of Logic","volume":"11","author":"McCall","year":"2012"},{"key":"S1755020323000254_r15","first-page":"497","volume-title":"Proceedings of LORI 2017","author":"Kapsner","year":"2017"},{"volume-title":"Substructural Logics: A Primer","year":"2011","author":"Paoli","key":"S1755020323000254_r20"},{"key":"S1755020323000254_r2","doi-asserted-by":"publisher","DOI":"10.1090\/memo\/0396"},{"key":"S1755020323000254_r31","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-40220-8_12"},{"key":"S1755020323000254_r14","doi-asserted-by":"publisher","DOI":"10.1007\/s10670-020-00325-1"},{"key":"S1755020323000254_r13","first-page":"141","article-title":"Strong Connexivity","volume":"1","author":"Kapsner","year":"2012","journal-title":"Thought"},{"key":"S1755020323000254_r10","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-006-8305-5"},{"key":"S1755020323000254_r33","first-page":"567","article-title":"Connexive conditional logic. Part I","volume":"28","author":"Wansing","year":"2019","journal-title":"Logic and Logical Philosophy"},{"key":"S1755020323000254_r5","doi-asserted-by":"publisher","DOI":"10.1215\/00294527-2008-010"},{"key":"S1755020323000254_r18","first-page":"434","volume-title":"Entailment: The Logic of Relevance and Necessity","volume":"1","author":"McCall","year":"1975"},{"volume-title":"Abstract Algebraic Logic: An Introductory Textbook","year":"2016","author":"Font","key":"S1755020323000254_r8"},{"key":"S1755020323000254_r6","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-023-10044-7"},{"key":"S1755020323000254_r32","first-page":"371","article-title":"Connexive logics. An overview and current trends","volume":"28","author":"Wansing","year":"2019","journal-title":"Logic and Logical Philosophy"},{"key":"S1755020323000254_r9","volume-title":"Residuated Lattices: An Algebraic Glimpse at Substructural Logics","volume":"151","author":"Galatos","year":"2007"},{"key":"S1755020323000254_r30","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/jzm012"},{"key":"S1755020323000254_r11","doi-asserted-by":"publisher","DOI":"10.18778\/0138-0680.2021.02"},{"key":"S1755020323000254_r27","doi-asserted-by":"publisher","DOI":"10.1007\/BF02176171"},{"key":"S1755020323000254_r34","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-014-9558-z"},{"key":"S1755020323000254_r24","doi-asserted-by":"publisher","DOI":"10.1016\/j.jal.2004.07.014"},{"key":"S1755020323000254_r21","doi-asserted-by":"publisher","DOI":"10.5840\/monist201295213"},{"key":"S1755020323000254_r16","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-023-09700-z"},{"key":"S1755020323000254_r28","first-page":"367","volume-title":"Advances in Modal Logic","volume":"5","author":"Wansing","year":"2005"},{"key":"S1755020323000254_r7","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-023-10057-2"},{"key":"S1755020323000254_r23","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093635934"}],"container-title":["The Review of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1755020323000254","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,5]],"date-time":"2024-11-05T11:11:39Z","timestamp":1730805099000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1755020323000254\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,7,24]]},"references-count":34,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2024,9]]}},"alternative-id":["S1755020323000254"],"URL":"https:\/\/doi.org\/10.1017\/s1755020323000254","relation":{},"ISSN":["1755-0203","1755-0211"],"issn-type":[{"type":"print","value":"1755-0203"},{"type":"electronic","value":"1755-0211"}],"subject":[],"published":{"date-parts":[[2023,7,24]]},"assertion":[{"value":"\u00a9 The Author(s), 2023. 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"}}]}}