{"id":"https://openalex.org/W7131115744","doi":"https://doi.org/10.1007/s10670-025-01060-1","title":"Deep Semantic Pollution","display_name":"Deep Semantic Pollution","publication_year":2026,"publication_date":"2026-02-23","ids":{"openalex":"https://openalex.org/W7131115744","doi":"https://doi.org/10.1007/s10670-025-01060-1"},"language":"en","primary_location":{"id":"doi:10.1007/s10670-025-01060-1","doi":"https://doi.org/10.1007/s10670-025-01060-1","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10670-025-01060-1","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10670-025-01060-1.pdf","source":{"id":"https://openalex.org/S63151042","display_name":"Erkenntnis","issn_l":"0165-0106","issn":["0165-0106","1572-8420"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core","erih-plus","jufo-3","ki-jl-1","norway-2"],"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":"Erkenntnis","raw_type":"journal-article"},"volume":null,"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s10670-025-01060-1.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5011277020","display_name":"Gabriele Pulcini","orcid":"https://orcid.org/0000-0003-0101-0916","observed_orcids":["https://orcid.org/0000-0003-0101-0916"]},"institutions":[{"id":"https://openalex.org/I116067653","display_name":"University of Rome Tor Vergata","ror":"https://ror.org/02p77k626","country_code":"IT","type":"education","lineage":["https://openalex.org/I116067653"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Gabriele Pulcini","raw_affiliation_strings":["Department of Literary, Philosophical and Art History Studies, University of Rome \u201cTor Vergata\u201d, Via Columbia, 1, 00133, Rome, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Literary, Philosophical and Art History Studies, University of Rome \u201cTor Vergata\u201d, Via Columbia, 1, 00133, Rome, Italy","institution_ids":["https://openalex.org/I116067653"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5011277020"],"corresponding_institution_ids":["https://openalex.org/I116067653"],"apc_list":{"value":2290,"currency":"USD","value_usd":2290},"apc_paid":{"value":2290,"currency":"USD","value_usd":2290},"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.15110244,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9115999937057495,"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.9115999937057495,"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.07519999891519547,"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.005799999926239252,"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/structural-rules","display_name":"structural rules","score":0.7099999785423279},{"id":"https://openalex.org/keywords/proof-systems","display_name":"proof systems","score":0.7760000228881836},{"id":"https://openalex.org/keywords/algebraic-semantics","display_name":"algebraic semantics","score":0.5860000252723694},{"id":"https://openalex.org/keywords/classical-propositional-logic","display_name":"classical propositional logic","score":0.7260000109672546}],"concepts":[{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5723000168800354},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5048999786376953},{"id":"https://openalex.org/C25810664","wikidata":"https://www.wikidata.org/wiki/Q44325","display_name":"Ontology","level":2,"score":0.4909000098705292},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.48010000586509705},{"id":"https://openalex.org/C198082294","wikidata":"https://www.wikidata.org/wiki/Q3399648","display_name":"Position (finance)","level":2,"score":0.3910999894142151},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.36910000443458557},{"id":"https://openalex.org/C78780964","wikidata":"https://www.wikidata.org/wiki/Q7233193","display_name":"Position paper","level":2,"score":0.36629998683929443},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.35670000314712524},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.34599998593330383},{"id":"https://openalex.org/C42747912","wikidata":"https://www.wikidata.org/wiki/Q1048447","display_name":"Multiplicative function","level":2,"score":0.3366999924182892},{"id":"https://openalex.org/C2776542497","wikidata":"https://www.wikidata.org/wiki/Q5266672","display_name":"Development (topology)","level":2,"score":0.3294999897480011},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3224000036716461},{"id":"https://openalex.org/C90312973","wikidata":"https://www.wikidata.org/wiki/Q7449052","display_name":"Semantic data model","level":2,"score":0.31619998812675476},{"id":"https://openalex.org/C2779703954","wikidata":"https://www.wikidata.org/wiki/Q7475887","display_name":"Subtext","level":2,"score":0.2987000048160553},{"id":"https://openalex.org/C2129575","wikidata":"https://www.wikidata.org/wiki/Q54837","display_name":"Semantic Web","level":2,"score":0.2964000105857849},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.2962999939918518},{"id":"https://openalex.org/C81917197","wikidata":"https://www.wikidata.org/wiki/Q628760","display_name":"Selection (genetic algorithm)","level":2,"score":0.27959999442100525},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2793999910354614},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.26649999618530273},{"id":"https://openalex.org/C511149849","wikidata":"https://www.wikidata.org/wiki/Q7449051","display_name":"Semantic computing","level":3,"score":0.2624000012874603},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.25870001316070557},{"id":"https://openalex.org/C2780193096","wikidata":"https://www.wikidata.org/wiki/Q3543662","display_name":"Possession (linguistics)","level":2,"score":0.25769999623298645}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/s10670-025-01060-1","doi":"https://doi.org/10.1007/s10670-025-01060-1","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10670-025-01060-1","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10670-025-01060-1.pdf","source":{"id":"https://openalex.org/S63151042","display_name":"Erkenntnis","issn_l":"0165-0106","issn":["0165-0106","1572-8420"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core","erih-plus","jufo-3","ki-jl-1","norway-2"],"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":"Erkenntnis","raw_type":"journal-article"},{"id":"pmh:oai:art.torvergata.it:2108/452783","doi":null,"is_oa":true,"landing_page_url":"https://hdl.handle.net/2108/452783","pdf_url":"https://art.torvergata.it/bitstream/2108/452783/1/ERKE_2026.pdf","source":{"id":"https://openalex.org/S4306400993","display_name":"Cineca Institutional Research Information System (Tor Vergata University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I116067653","host_organization_name":"University of Rome Tor Vergata","host_organization_lineage":["https://openalex.org/I116067653"],"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/s10670-025-01060-1","doi":"https://doi.org/10.1007/s10670-025-01060-1","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10670-025-01060-1","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10670-025-01060-1.pdf","source":{"id":"https://openalex.org/S63151042","display_name":"Erkenntnis","issn_l":"0165-0106","issn":["0165-0106","1572-8420"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core","erih-plus","jufo-3","ki-jl-1","norway-2"],"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":"Erkenntnis","raw_type":"journal-article"},"sustainable_development_goals":[],"sustainable_development_goals_aurora":[],"study_designs":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320324579","display_name":"Universit\u00e0 degli Studi di Roma Tor Vergata","ror":"https://ror.org/02p77k626"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7131115744.pdf","grobid_xml":"https://content.openalex.org/works/W7131115744.grobid-xml"},"referenced_works_count":22,"referenced_works":["https://openalex.org/W198973586","https://openalex.org/W570944246","https://openalex.org/W1487409515","https://openalex.org/W1573218237","https://openalex.org/W1995718667","https://openalex.org/W2039977878","https://openalex.org/W2052185876","https://openalex.org/W2138973931","https://openalex.org/W2262950274","https://openalex.org/W2494511153","https://openalex.org/W2763778849","https://openalex.org/W2972322463","https://openalex.org/W2998490647","https://openalex.org/W4248156396","https://openalex.org/W4249736722","https://openalex.org/W4293278754","https://openalex.org/W4386773906","https://openalex.org/W4388632809","https://openalex.org/W4389343048","https://openalex.org/W4401540348","https://openalex.org/W4408186076","https://openalex.org/W4411202699"],"related_works":[],"abstract_inverted_index":{"Abstract":[0],"The":[1,126],"paper":[2],"compares":[3],"the":[4,20,25,29,33,37,41,45,51,55,60,85,88,111,143],"multiplicative":[5],"system":[6],"for":[7],"classical":[8],"propositional":[9],"logic":[10],"with":[11],"its":[12],"fully":[13],"additive":[14],"variant":[15],".":[16],"As":[17,94],"is":[18,22,131],"well-known,":[19],"latter":[21],"obtained":[23],"from":[24],"former":[26],"by":[27],"absorbing":[28],"structural":[30,56],"rules":[31,57],"through":[32],"joint":[34],"adoption":[35],"of":[36,44,54,62,79,87,97,153],"generalized":[38],"axiom":[39],"and":[40,99,136,145],"context-sharing":[42],"formulation":[43],"logical":[46],"rules.":[47],"We":[48,69],"show":[49],"that":[50,72,104,156],"very":[52,74,112],"absorption":[53],"may":[58,77],"have":[59],"effect":[61],"turning":[63],"into":[64,121],"a":[65,95,150],"merely":[66],"semantic":[67,92,154],"device.":[68],"further":[70,137],"argue":[71],"this,":[73],"simple,":[75],"case-study":[76],"be":[78,119],"some":[80],"interest":[81],"when":[82],"considered":[83],"in":[84],"context":[86],"current":[89],"debate":[90],"on":[91,142],"pollution.":[93],"matter":[96],"fact,":[98],"are":[100],"two":[101],"proof":[102],"systems":[103],"share":[105],"not":[106],"only":[107],"theorems,":[108],"but":[109],"also":[110],"syntactic":[113],"structures":[114],"they":[115],"use,":[116],"though":[117],"can":[118],"collapsed":[120],"an":[122],"appropriate":[123],"algebraic":[124],"setting.":[125],"subtext":[127],"to":[128,134,147],"this":[129],"observation":[130],"twofold:":[132],"(i)":[133],"support":[135],"clarify":[138],"Avron\u2019s":[139],"notorious":[140],"position":[141],"topic,":[144],"(ii)":[146],"point":[148],"out":[149],"language-independent":[151],"form":[152],"pollution":[155],"we":[157],"call":[158],"\u2018deep\u2019.":[159]},"counts_by_year":[],"updated_date":"2026-08-22T07:34:49.880490","created_date":"2026-02-24T00:00:00"}