{"id":"https://openalex.org/W4385201037","doi":"https://doi.org/10.1017/s1755020323000254","title":"CONNEXIVE IMPLICATIONS IN SUBSTRUCTURAL LOGICS","display_name":"CONNEXIVE IMPLICATIONS IN SUBSTRUCTURAL LOGICS","publication_year":2023,"publication_date":"2023-07-24","ids":{"openalex":"https://openalex.org/W4385201037","doi":"https://doi.org/10.1017/s1755020323000254"},"language":"en","primary_location":{"id":"doi:10.1017/s1755020323000254","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1755020323000254","pdf_url":null,"source":{"id":"https://openalex.org/S24077076","display_name":"The Review of Symbolic Logic","issn_l":"1755-0203","issn":["1755-0203","1755-0211"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Review of Symbolic Logic","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/A0C7AD880BB6C4888AE59976A62B27AD/S1755020323000254a.pdf/div-class-title-connexive-implications-in-substructural-logics-div.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5092531213","display_name":"DAVIDE FAZIO","orcid":null},"institutions":[{"id":"https://openalex.org/I124326101","display_name":"University of Teramo","ror":"https://ror.org/01yetye73","country_code":"IT","type":"education","lineage":["https://openalex.org/I124326101"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"DAVIDE FAZIO","raw_affiliation_strings":["DIPARTIMENTO DI SCIENZE DELLA COMUNICAZIONE UNIVERSIT\u00c0 DEGLI STUDI DI TERAMO CAMPUS \u201cAURELIO SALICETI,\u201d VIA R. BALZARINI 1, 64100 TERAMO (TE), ITALY","DIPARTIMENTO DI SCIENZE DELLA COMUNICAZIONE UNIVERSIT\u00c0 DEGLI STUDI DI TERAMO CAMPUS \"AURELIO SALICETI,\" VIA R. BALZARINI 1, 64100 TERAMO (TE), ITALY"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"DIPARTIMENTO DI SCIENZE DELLA COMUNICAZIONE UNIVERSIT\u00c0 DEGLI STUDI DI TERAMO CAMPUS \u201cAURELIO SALICETI,\u201d VIA R. BALZARINI 1, 64100 TERAMO (TE), ITALY","institution_ids":["https://openalex.org/I124326101"]},{"raw_affiliation_string":"DIPARTIMENTO DI SCIENZE DELLA COMUNICAZIONE UNIVERSIT\u00c0 DEGLI STUDI DI TERAMO CAMPUS \"AURELIO SALICETI,\" VIA R. BALZARINI 1, 64100 TERAMO (TE), ITALY","institution_ids":["https://openalex.org/I124326101"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5036349439","display_name":"Gavin St. John","orcid":"https://orcid.org/0000-0002-5509-2980"},"institutions":[{"id":"https://openalex.org/I131729948","display_name":"University of Salerno","ror":"https://ror.org/0192m2k53","country_code":"IT","type":"education","lineage":["https://openalex.org/I131729948"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"GAVIN ST. JOHN","raw_affiliation_strings":["DIPARTIMENTO DI MATEMATICA UNIVERSIT\u00c0 DEGLI STUDI DI SALERNO VIA GIOVANNI PAOLO II, 132, 84084 FISCIANO (SA), ITALY E-mail:"],"raw_orcid":"https://orcid.org/0000-0002-5509-2980","affiliations":[{"raw_affiliation_string":"DIPARTIMENTO DI MATEMATICA UNIVERSIT\u00c0 DEGLI STUDI DI SALERNO VIA GIOVANNI PAOLO II, 132, 84084 FISCIANO (SA), ITALY E-mail:","institution_ids":["https://openalex.org/I131729948"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5092531213"],"corresponding_institution_ids":["https://openalex.org/I124326101"],"apc_list":{"value":3550,"currency":"USD","value_usd":3550},"apc_paid":null,"fwci":0.4203,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.6398547,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":96},"biblio":{"volume":"17","issue":"3","first_page":"878","last_page":"909"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11063","display_name":"Rough Sets and Fuzzy Logic","score":0.9959999918937683,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6772891283035278},{"id":"https://openalex.org/keywords/commutative-property","display_name":"Commutative property","score":0.6083472967147827},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.5533179044723511},{"id":"https://openalex.org/keywords/relevance","display_name":"Relevance (law)","score":0.5338690280914307},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.5239251255989075},{"id":"https://openalex.org/keywords/perspective","display_name":"Perspective (graphical)","score":0.4674936830997467},{"id":"https://openalex.org/keywords/monoidal-t-norm-logic","display_name":"Monoidal t-norm logic","score":0.4345749616622925},{"id":"https://openalex.org/keywords/characterization","display_name":"Characterization (materials science)","score":0.42403578758239746},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.42334580421447754},{"id":"https://openalex.org/keywords/term","display_name":"Term (time)","score":0.4103471040725708},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3940001130104065},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.21067559719085693},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.20102491974830627},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1021159291267395},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.07867565751075745}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6772891283035278},{"id":"https://openalex.org/C183778304","wikidata":"https://www.wikidata.org/wiki/Q165474","display_name":"Commutative property","level":2,"score":0.6083472967147827},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.5533179044723511},{"id":"https://openalex.org/C158154518","wikidata":"https://www.wikidata.org/wiki/Q7310970","display_name":"Relevance (law)","level":2,"score":0.5338690280914307},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.5239251255989075},{"id":"https://openalex.org/C12713177","wikidata":"https://www.wikidata.org/wiki/Q1900281","display_name":"Perspective (graphical)","level":2,"score":0.4674936830997467},{"id":"https://openalex.org/C98224912","wikidata":"https://www.wikidata.org/wiki/Q6901647","display_name":"Monoidal t-norm logic","level":5,"score":0.4345749616622925},{"id":"https://openalex.org/C2780841128","wikidata":"https://www.wikidata.org/wiki/Q5073781","display_name":"Characterization (materials science)","level":2,"score":0.42403578758239746},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.42334580421447754},{"id":"https://openalex.org/C61797465","wikidata":"https://www.wikidata.org/wiki/Q1188986","display_name":"Term (time)","level":2,"score":0.4103471040725708},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3940001130104065},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.21067559719085693},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.20102491974830627},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1021159291267395},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.07867565751075745},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0},{"id":"https://openalex.org/C58166","wikidata":"https://www.wikidata.org/wiki/Q224821","display_name":"Fuzzy logic","level":2,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C42011625","wikidata":"https://www.wikidata.org/wiki/Q1055058","display_name":"Fuzzy set","level":3,"score":0.0},{"id":"https://openalex.org/C171250308","wikidata":"https://www.wikidata.org/wiki/Q11468","display_name":"Nanotechnology","level":1,"score":0.0},{"id":"https://openalex.org/C1883856","wikidata":"https://www.wikidata.org/wiki/Q3407463","display_name":"Fuzzy number","level":4,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1017/s1755020323000254","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1755020323000254","pdf_url":null,"source":{"id":"https://openalex.org/S24077076","display_name":"The Review of Symbolic Logic","issn_l":"1755-0203","issn":["1755-0203","1755-0211"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Review of Symbolic Logic","raw_type":"journal-article"},{"id":"pmh:oai:research.unite.it:11575/141583","is_oa":true,"landing_page_url":"https://www.cambridge.org/core/journals/review-of-symbolic-logic/article/connexive-implications-in-substructural-logics/A0C7AD880BB6C4888AE59976A62B27AD","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/A0C7AD880BB6C4888AE59976A62B27AD/S1755020323000254a.pdf/div-class-title-connexive-implications-in-substructural-logics-div.pdf","source":{"id":"https://openalex.org/S4306401171","display_name":"UniTERAMO Research Catalog (University of Teramo)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I124326101","host_organization_name":"University of Teramo","host_organization_lineage":["https://openalex.org/I124326101"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"pmh:oai:research.unite.it:11575/141583","is_oa":true,"landing_page_url":"https://www.cambridge.org/core/journals/review-of-symbolic-logic/article/connexive-implications-in-substructural-logics/A0C7AD880BB6C4888AE59976A62B27AD","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/A0C7AD880BB6C4888AE59976A62B27AD/S1755020323000254a.pdf/div-class-title-connexive-implications-in-substructural-logics-div.pdf","source":{"id":"https://openalex.org/S4306401171","display_name":"UniTERAMO Research Catalog (University of Teramo)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I124326101","host_organization_name":"University of Teramo","host_organization_lineage":["https://openalex.org/I124326101"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4385201037.pdf","grobid_xml":"https://content.openalex.org/works/W4385201037.grobid-xml"},"referenced_works_count":32,"referenced_works":["https://openalex.org/W79238972","https://openalex.org/W656700481","https://openalex.org/W1503075583","https://openalex.org/W1593617641","https://openalex.org/W1963891102","https://openalex.org/W1987485205","https://openalex.org/W1995575236","https://openalex.org/W1999030123","https://openalex.org/W2001386903","https://openalex.org/W2014332075","https://openalex.org/W2030731518","https://openalex.org/W2042844067","https://openalex.org/W2058851699","https://openalex.org/W2062581225","https://openalex.org/W2077922974","https://openalex.org/W2130817416","https://openalex.org/W2335123613","https://openalex.org/W2557559526","https://openalex.org/W2597038546","https://openalex.org/W2598821256","https://openalex.org/W2907992418","https://openalex.org/W2961079285","https://openalex.org/W3110268561","https://openalex.org/W3123846753","https://openalex.org/W4230019621","https://openalex.org/W4252113473","https://openalex.org/W4293176479","https://openalex.org/W4319345132","https://openalex.org/W4367693474","https://openalex.org/W4381487049","https://openalex.org/W6700276050","https://openalex.org/W6757668553"],"related_works":["https://openalex.org/W3107994849","https://openalex.org/W4247143848","https://openalex.org/W2735573198","https://openalex.org/W2009883749","https://openalex.org/W29442446","https://openalex.org/W1483407203","https://openalex.org/W330727063","https://openalex.org/W2378570201","https://openalex.org/W2009326938","https://openalex.org/W2263243945"],"abstract_inverted_index":{"Abstract":[0],"This":[1],"paper":[2],"is":[3],"devoted":[4],"to":[5,70,77],"the":[6,19,44,71,91,94],"investigation":[7],"of":[8,24,43,93,103],"term-definable":[9],"connexive":[10,45,56,66],"implications":[11],"in":[12,22,49,63,97],"substructural":[13],"logics":[14],"with":[15,75,99],"exchange":[16],"and,":[17],"on":[18,90,110],"semantical":[20],"perspective,":[21],"sub-varieties":[23],"commutative":[25],"residuated":[26],"lattices":[27],"(FL":[28],"${}_{\\scriptsize\\mbox{e}}$":[29],"-algebras).":[30],"In":[31],"particular,":[32],"we":[33,81],"inquire":[34],"into":[35],"sufficient":[36],"and":[37,106,112],"necessary":[38],"conditions":[39],"under":[40],"which":[41],"generalizations":[42],"implication-like":[46],"operation":[47,96],"defined":[48],"[6]":[50],"for":[51],"Heyting":[52],"algebras":[53],"still":[54],"satisfy":[55],"theses.":[57],"It":[58],"will":[59],"turn":[60],"out":[61],"that,":[62],"most":[64],"cases,":[65],"principles":[67],"are":[68],"equivalent":[69],"equational":[72],"Glivenko":[73],"property":[74],"respect":[76],"Boolean":[78],"algebras.":[79],"Furthermore,":[80],"provide":[82],"some":[83,107],"philosophical":[84],"upshots":[85],"like,":[86],"e.g.,":[87],"a":[88],"discussion":[89],"relevance":[92],"above":[95],"relationship":[98],"G.":[100],"Polya\u2019s":[101],"logic":[102],"plausible":[104],"inference,":[105],"characterization":[108],"results":[109],"weak":[111],"strong":[113],"connexivity.":[114]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":2}],"updated_date":"2026-08-23T07:36:19.812096","created_date":"2025-10-10T00:00:00"}