{"id":"https://openalex.org/W2911414880","doi":"https://doi.org/10.1007/s10992-019-09502-2","title":"Algebraic Analysis of Demodalised Analytic Implication","display_name":"Algebraic Analysis of Demodalised Analytic Implication","publication_year":2019,"publication_date":"2019-02-13","ids":{"openalex":"https://openalex.org/W2911414880","doi":"https://doi.org/10.1007/s10992-019-09502-2","mag":"2911414880"},"language":"en","primary_location":{"id":"doi:10.1007/s10992-019-09502-2","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10992-019-09502-2","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10992-019-09502-2.pdf","source":{"id":"https://openalex.org/S161120620","display_name":"Journal of Philosophical Logic","issn_l":"0022-3611","issn":["0022-3611","1573-0433"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Philosophical Logic","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s10992-019-09502-2.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5010857507","display_name":"Antonio Ledda","orcid":"https://orcid.org/0000-0003-2569-7214"},"institutions":[{"id":"https://openalex.org/I172446870","display_name":"University of Cagliari","ror":"https://ror.org/003109y17","country_code":"IT","type":"education","lineage":["https://openalex.org/I172446870"]},{"id":"https://openalex.org/I200719446","display_name":"Vanderbilt University","ror":"https://ror.org/02vm5rt34","country_code":"US","type":"education","lineage":["https://openalex.org/I200719446"]}],"countries":["IT","US"],"is_corresponding":true,"raw_author_name":"Antonio Ledda","raw_affiliation_strings":["Department of Mathematics, Vanderbilt University, Nashville, TN, USA","Dipartimento di Pedagogia, Psicologia, Filosofia, Universit\u00e0 di Cagliari, Cagliari, Italy","Department of Mathematics, Vanderbilt University, Nashville, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics, Vanderbilt University, Nashville, TN, USA","institution_ids":["https://openalex.org/I200719446"]},{"raw_affiliation_string":"Dipartimento di Pedagogia, Psicologia, Filosofia, Universit\u00e0 di Cagliari, Cagliari, Italy","institution_ids":["https://openalex.org/I172446870"]},{"raw_affiliation_string":"Department of Mathematics, Vanderbilt University, Nashville, USA","institution_ids":["https://openalex.org/I200719446"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101735626","display_name":"Francesco Paoli","orcid":"https://orcid.org/0000-0001-7915-3832"},"institutions":[{"id":"https://openalex.org/I172446870","display_name":"University of Cagliari","ror":"https://ror.org/003109y17","country_code":"IT","type":"education","lineage":["https://openalex.org/I172446870"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Francesco Paoli","raw_affiliation_strings":["Dipartimento di Pedagogia, Psicologia, Filosofia, Universit\u00e0 di Cagliari, Cagliari, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dipartimento di Pedagogia, Psicologia, Filosofia, Universit\u00e0 di Cagliari, Cagliari, Italy","institution_ids":["https://openalex.org/I172446870"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5063542724","display_name":"Michele Pra Baldi","orcid":"https://orcid.org/0000-0002-7869-7405"},"institutions":[{"id":"https://openalex.org/I172446870","display_name":"University of Cagliari","ror":"https://ror.org/003109y17","country_code":"IT","type":"education","lineage":["https://openalex.org/I172446870"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Michele Pra Baldi","raw_affiliation_strings":["Dipartimento di Pedagogia, Psicologia, Filosofia, Universit\u00e0 di Cagliari, Cagliari, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dipartimento di Pedagogia, Psicologia, Filosofia, Universit\u00e0 di Cagliari, Cagliari, Italy","institution_ids":["https://openalex.org/I172446870"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5010857507"],"corresponding_institution_ids":["https://openalex.org/I172446870","https://openalex.org/I200719446"],"apc_list":{"value":2780,"currency":"USD","value_usd":2780},"apc_paid":{"value":2780,"currency":"USD","value_usd":2780},"fwci":1.7766,"has_fulltext":true,"cited_by_count":13,"citation_normalized_percentile":{"value":0.85811125,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"48","issue":"6","first_page":"957","last_page":"979"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9995999932289124,"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":0.9995999932289124,"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.9987999796867371,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9969000220298767,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/algebraic-semantics","display_name":"Algebraic semantics","score":0.8178415894508362},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5825622081756592},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.5083505511283875},{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.49487560987472534},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.4835481345653534},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.4352286458015442},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3586471676826477},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.3509984016418457}],"concepts":[{"id":"https://openalex.org/C2779729104","wikidata":"https://www.wikidata.org/wiki/Q4724013","display_name":"Algebraic semantics","level":3,"score":0.8178415894508362},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5825622081756592},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.5083505511283875},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.49487560987472534},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.4835481345653534},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.4352286458015442},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3586471676826477},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3509984016418457},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/s10992-019-09502-2","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10992-019-09502-2","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10992-019-09502-2.pdf","source":{"id":"https://openalex.org/S161120620","display_name":"Journal of Philosophical Logic","issn_l":"0022-3611","issn":["0022-3611","1573-0433"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Philosophical Logic","raw_type":"journal-article"},{"id":"pmh:oai:iris.unica.it:11584/258560","is_oa":true,"landing_page_url":"http://hdl.handle.net/11584/258560","pdf_url":null,"source":{"id":"https://openalex.org/S4377196293","display_name":"UNICA IRIS Institutional Research Information System (University of Cagliari)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I172446870","host_organization_name":"University of Cagliari","host_organization_lineage":["https://openalex.org/I172446870"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:www.research.unipd.it:11577/3566548","is_oa":true,"landing_page_url":"https://hdl.handle.net/11577/3566548","pdf_url":null,"source":{"id":"https://openalex.org/S4306402547","display_name":"Padua Research Archive (University of Padova)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I138689650","host_organization_name":"University of Padua","host_organization_lineage":["https://openalex.org/I138689650"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1007/s10992-019-09502-2","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10992-019-09502-2","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10992-019-09502-2.pdf","source":{"id":"https://openalex.org/S161120620","display_name":"Journal of Philosophical Logic","issn_l":"0022-3611","issn":["0022-3611","1573-0433"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Philosophical Logic","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3196501618","display_name":null,"funder_award_id":"F72 F16 003 220 002","funder_id":"https://openalex.org/F4320315324","funder_display_name":"Fondazione di Sardegna"},{"id":"https://openalex.org/G3324948994","display_name":null,"funder_award_id":"F72 F16 002 920 002","funder_id":"https://openalex.org/F4320326069","funder_display_name":"Regione Autonoma della Sardegna"},{"id":"https://openalex.org/G3801262213","display_name":null,"funder_award_id":"RASSR40341","funder_id":"https://openalex.org/F4320326069","funder_display_name":"Regione Autonoma della Sardegna"},{"id":"https://openalex.org/G5783920772","display_name":"Syntax Meets Semantics: Methods,  Interactions, and Connections in Substructural logics.","funder_award_id":"689176","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"}],"funders":[{"id":"https://openalex.org/F4320315324","display_name":"Fondazione di Sardegna","ror":"https://ror.org/02sryfh37"},{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320326069","display_name":"Regione Autonoma della Sardegna","ror":null}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2911414880.pdf","grobid_xml":"https://content.openalex.org/works/W2911414880.grobid-xml"},"referenced_works_count":21,"referenced_works":["https://openalex.org/W39254489","https://openalex.org/W344914243","https://openalex.org/W642089628","https://openalex.org/W956288144","https://openalex.org/W1554619471","https://openalex.org/W1777300595","https://openalex.org/W1981671130","https://openalex.org/W1992285743","https://openalex.org/W2008496380","https://openalex.org/W2008618044","https://openalex.org/W2055234302","https://openalex.org/W2125812373","https://openalex.org/W2530868552","https://openalex.org/W2592837392","https://openalex.org/W2780986050","https://openalex.org/W2825664337","https://openalex.org/W2954033833","https://openalex.org/W3098689503","https://openalex.org/W4238633330","https://openalex.org/W4250694390","https://openalex.org/W6621050922"],"related_works":["https://openalex.org/W178365807","https://openalex.org/W4386544785","https://openalex.org/W2081441417","https://openalex.org/W4240676090","https://openalex.org/W1970375080","https://openalex.org/W16157476","https://openalex.org/W1555836633","https://openalex.org/W3035881305","https://openalex.org/W2208976468","https://openalex.org/W1517300152"],"abstract_inverted_index":{"Abstract":[0],"The":[1,34],"logic":[2,39,140],"DAI":[3,56,72,103],"of":[4,76,124,130,136,155],"demodalised":[5],"analytic":[6],"implication":[7,43],"has":[8,57,69],"been":[9,58],"introduced":[10],"by":[11,17,28,95],"J.M.":[12],"Dunn":[13,96],"(and":[14],"independently":[15],"investigated":[16,59],"R.D.":[18],"Epstein)":[19],"as":[20],"a":[21,24,119,128],"variation":[22],"on":[23,71,147],"time-honoured":[25],"logical":[26],"system":[27],"C.I.":[29],"Lewis\u2019":[30],"student":[31],"W.T.":[32],"Parry.":[33],"main":[35],"tenet":[36],"underlying":[37],"this":[38],"is":[40,50,104],"that":[41,102],"no":[42,65],"can":[44],"be":[45,118],"valid":[46],"unless":[47],"its":[48,54,109],"consequent":[49],"\u201canalytically":[51],"contained\u201d":[52],"in":[53],"antecedent.":[55],"both":[60],"proof-theoretically":[61],"and":[62,97,106,121,153],"model-theoretically,":[63],"but":[64],"study":[66],"so":[67],"far":[68],"focussed":[70],"from":[73],"the":[74,92,133,148],"viewpoint":[75],"abstract":[77],"algebraic":[78,84,134],"logic.":[79],"We":[80,99],"provide":[81],"several":[82],"different":[83],"semantics":[85,94],"for":[86],"DAI,":[87],"showing":[88],"their":[89],"equivalence":[90],"with":[91],"known":[93],"Epstein.":[98],"also":[100],"show":[101],"algebraisable":[105],"we":[107],"identify":[108],"equivalent":[110],"quasivariety":[111],"semantics.":[112],"This":[113,142],"class":[114],"turns":[115],"out":[116],"to":[117],"linguistic":[120],"axiomatic":[122],"expansion":[123],"involutive":[125],"bisemilattices":[126],",":[127],"subquasivariety":[129],"which":[131],"forms":[132],"counterpart":[135],"Paraconsistent":[137],"Weak":[138],"Kleene":[139],"(PWK).":[141],"fact":[143],"sheds":[144],"further":[145],"light":[146],"relationship":[149],"between":[150],"containment":[151],"logics":[152,154],"nonsense.":[156]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":5},{"year":2020,"cited_by_count":3}],"updated_date":"2026-08-02T14:50:37.381335","created_date":"2025-10-10T00:00:00"}