{"id":"https://openalex.org/W4233687175","doi":"https://doi.org/10.1109/lics.2017.8005143","title":"Differentiation in logical form","display_name":"Differentiation in logical form","publication_year":2017,"publication_date":"2017-06-01","ids":{"openalex":"https://openalex.org/W4233687175","doi":"https://doi.org/10.1109/lics.2017.8005143"},"language":"en","primary_location":{"id":"doi:10.1109/lics.2017.8005143","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lics.2017.8005143","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://hdl.handle.net/10044/1/94934","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5058087229","display_name":"Abbas Edalat","orcid":"https://orcid.org/0000-0002-6211-1991"},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Abbas Edalat","raw_affiliation_strings":["Department of Computing, Imperial College London, UK"],"affiliations":[{"raw_affiliation_string":"Department of Computing, Imperial College London, UK","institution_ids":["https://openalex.org/I47508984"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5090493536","display_name":"Mehrdad Maleki","orcid":null},"institutions":[{"id":"https://openalex.org/I4210146419","display_name":"Institute for Research in Fundamental Sciences","ror":"https://ror.org/04xreqs31","country_code":"IR","type":"facility","lineage":["https://openalex.org/I4210146419"]}],"countries":["IR"],"is_corresponding":false,"raw_author_name":"Mehrdad Maleki","raw_affiliation_strings":["Institute for Research in Fundamental Sciences (IPM), Tehran, Iran"],"affiliations":[{"raw_affiliation_string":"Institute for Research in Fundamental Sciences (IPM), Tehran, Iran","institution_ids":["https://openalex.org/I4210146419"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5058087229"],"corresponding_institution_ids":["https://openalex.org/I47508984"],"apc_list":null,"apc_paid":null,"fwci":0.8567,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.75134008,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"3","issue":null,"first_page":"1","last_page":"12"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11151","display_name":"Advanced Topology and Set Theory","score":0.9986000061035156,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11151","display_name":"Advanced Topology and Set Theory","score":0.9986000061035156,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9912999868392944,"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/T11671","display_name":"Fuzzy and Soft Set Theory","score":0.9757999777793884,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.7848210334777832},{"id":"https://openalex.org/keywords/subgradient-method","display_name":"Subgradient method","score":0.7168736457824707},{"id":"https://openalex.org/keywords/lipschitz-continuity","display_name":"Lipschitz continuity","score":0.690589427947998},{"id":"https://openalex.org/keywords/euclidean-space","display_name":"Euclidean space","score":0.5756353139877319},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.556488573551178},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.5267878174781799},{"id":"https://openalex.org/keywords/regular-polygon","display_name":"Regular polygon","score":0.4836812913417816},{"id":"https://openalex.org/keywords/euclidean-geometry","display_name":"Euclidean geometry","score":0.4694010317325592},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.45641782879829407},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.45446059107780457},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.3635314702987671},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.13901925086975098},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.08155351877212524},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.06946375966072083}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7848210334777832},{"id":"https://openalex.org/C158968445","wikidata":"https://www.wikidata.org/wiki/Q7631150","display_name":"Subgradient method","level":2,"score":0.7168736457824707},{"id":"https://openalex.org/C22324862","wikidata":"https://www.wikidata.org/wiki/Q652707","display_name":"Lipschitz continuity","level":2,"score":0.690589427947998},{"id":"https://openalex.org/C186450821","wikidata":"https://www.wikidata.org/wiki/Q17295","display_name":"Euclidean space","level":2,"score":0.5756353139877319},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.556488573551178},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.5267878174781799},{"id":"https://openalex.org/C112680207","wikidata":"https://www.wikidata.org/wiki/Q714886","display_name":"Regular polygon","level":2,"score":0.4836812913417816},{"id":"https://openalex.org/C129782007","wikidata":"https://www.wikidata.org/wiki/Q162886","display_name":"Euclidean geometry","level":2,"score":0.4694010317325592},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.45641782879829407},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.45446059107780457},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3635314702987671},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.13901925086975098},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.08155351877212524},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.06946375966072083},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1109/lics.2017.8005143","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lics.2017.8005143","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)","raw_type":"proceedings-article"},{"id":"pmh:oai:spiral.imperial.ac.uk:10044/1/45827","is_oa":false,"landing_page_url":"http://hdl.handle.net/10044/1/45827","pdf_url":null,"source":{"id":"https://openalex.org/S4306401396","display_name":"Spiral (Imperial College London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I47508984","host_organization_name":"Imperial College London","host_organization_lineage":["https://openalex.org/I47508984"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Logic in Computer Science (LICS 2017)","raw_type":"Conference Paper"},{"id":"pmh:oai:spiral.imperial.ac.uk:10044/1/94934","is_oa":true,"landing_page_url":"http://hdl.handle.net/10044/1/94934","pdf_url":null,"source":{"id":"https://openalex.org/S4306401396","display_name":"Spiral (Imperial College London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I47508984","host_organization_name":"Imperial College London","host_organization_lineage":["https://openalex.org/I47508984"],"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":"16","raw_type":"Report"},{"id":"doi:10.25561/94934","is_oa":true,"landing_page_url":"https://doi.org/10.25561/94934","pdf_url":null,"source":{"id":"https://openalex.org/S7407050757","display_name":"Imperial College Research Computing Service Data Repository","issn_l":null,"issn":[],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article-journal"}],"best_oa_location":{"id":"pmh:oai:spiral.imperial.ac.uk:10044/1/94934","is_oa":true,"landing_page_url":"http://hdl.handle.net/10044/1/94934","pdf_url":null,"source":{"id":"https://openalex.org/S4306401396","display_name":"Spiral (Imperial College London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I47508984","host_organization_name":"Imperial College London","host_organization_lineage":["https://openalex.org/I47508984"],"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":"16","raw_type":"Report"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":32,"referenced_works":["https://openalex.org/W82089581","https://openalex.org/W1509655311","https://openalex.org/W1512502927","https://openalex.org/W1525647423","https://openalex.org/W1544564247","https://openalex.org/W1551360398","https://openalex.org/W1571966798","https://openalex.org/W1820790138","https://openalex.org/W1960239420","https://openalex.org/W1965240782","https://openalex.org/W1973769824","https://openalex.org/W2002097778","https://openalex.org/W2009183043","https://openalex.org/W2017096836","https://openalex.org/W2030347790","https://openalex.org/W2066210260","https://openalex.org/W2073030937","https://openalex.org/W2088376608","https://openalex.org/W2129018302","https://openalex.org/W2139772363","https://openalex.org/W2156304820","https://openalex.org/W2478429860","https://openalex.org/W2987907651","https://openalex.org/W3110279720","https://openalex.org/W4243945204","https://openalex.org/W4251912342","https://openalex.org/W6630654809","https://openalex.org/W6638198636","https://openalex.org/W6643812881","https://openalex.org/W6654928225","https://openalex.org/W6667847518","https://openalex.org/W6758921281"],"related_works":["https://openalex.org/W4200632038","https://openalex.org/W4238880966","https://openalex.org/W2610298398","https://openalex.org/W4281992692","https://openalex.org/W2145396827","https://openalex.org/W2279239548","https://openalex.org/W4294294347","https://openalex.org/W63976795","https://openalex.org/W2404658402","https://openalex.org/W164473625"],"abstract_inverted_index":{"We":[0,159],"introduce":[1,142],"a":[2,8,12,25,59,83,97,125,128,147,165,171,176,193,246,256],"logical":[3],"theory":[4],"of":[5,48,58,78,92,96,103,109,124,127,138,146,149,164,170,205,217,231,241,261],"differentiation":[6],"for":[7,42,180,250,258,264],"real-valued":[9,19],"function":[10,21,90],"on":[11],"finite":[13,111],"dimensional":[14,112],"real":[15,98],"Euclidean":[16,40,113],"space.":[17],"A":[18,228],"continuous":[20,94],"is":[22,64,70,211,234,272],"represented":[23,71],"by":[24,72,278],"localic":[26],"approximable":[27,74,150,157,186,195,207,239,262],"mapping":[28,196,263],"between":[29],"two":[30,36],"semi-strong":[31],"proximity":[32],"lattices,":[33],"representing":[34],"the":[35,43,46,49,52,56,79,89,101,110,122,135,139,143,162,202,206,214,218,275,279],"stably":[37],"locally":[38,60,129,181,220],"compact":[39,66,105],"spaces":[41],"domain":[44,86,102],"and":[45,67,106,168,184,268],"range":[47],"function.":[50],"Similarly,":[51],"Clarke":[53,215,280],"subgradient,":[54],"equivalently":[55],"L-derivative,":[57],"Lipschitz":[61,130,182,221],"map,":[62],"which":[63,152,192,237],"non-empty,":[65],"convex":[68,107],"valued,":[69],"an":[73],"mapping.":[75,208],"Approximable":[76],"mappings":[77,151,240],"latter":[80,210],"type":[81],"form":[82],"bounded":[84],"complete":[85],"isomorphic":[87],"with":[88,117],"space":[91,114],"Scott":[93],"functions":[95],"variable":[99],"into":[100],"non-empty":[104],"subsets":[108],"partially":[115],"ordered":[116],"reverse":[118],"inclusion.":[119],"Corresponding":[120],"to":[121,133,155,175,200,213,274],"notion":[123,145,163,230],"single-tie":[126,167],"function,":[131,140],"used":[132],"derive":[134,255],"domain-theoretic":[136],"L-derivative":[137],"we":[141,254],"dual":[144,212,273],"single-knot":[148],"gives":[153],"rise":[154],"Lipschitzian":[156,185,194,203,259],"mappings.":[158,187],"then":[160],"develop":[161],"strong":[166,172,189,226,232],"that":[169,270],"knot":[173],"leading":[174],"Stone":[177,248],"duality":[178,249],"result":[179],"maps":[183,244],"The":[188,209],"single-knots,":[190],"in":[191],"belongs,":[197],"are":[198],"employed":[199],"define":[201],"derivative":[204,260],"subgradient":[216],"corresponding":[219],"map":[222],"defined":[223],"domain-theoretically":[224],"using":[225],"single-ties.":[227],"stricter":[229],"single-knots":[233],"subsequently":[235],"developed":[236],"captures":[238],"continuously":[242],"differentiable":[243],"providing":[245],"gradient":[247],"these":[251],"maps.":[252],"Finally,":[253],"calculus":[257,276],"some":[265],"basic":[266],"constructors":[267],"show":[269],"it":[271],"satisfied":[277],"subgradient.":[281]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1}],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}