{"id":"https://openalex.org/W4289793575","doi":"https://doi.org/10.1145/3531130.3533337","title":"Logical Foundations of Quantitative Equality","display_name":"Logical Foundations of Quantitative Equality","publication_year":2022,"publication_date":"2022-08-02","ids":{"openalex":"https://openalex.org/W4289793575","doi":"https://doi.org/10.1145/3531130.3533337"},"language":"en","primary_location":{"id":"doi:10.1145/3531130.3533337","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3531130.3533337","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3531130.3533337","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3531130.3533337","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5046176286","display_name":"Francesco Dagnino","orcid":"https://orcid.org/0000-0003-3599-3535"},"institutions":[{"id":"https://openalex.org/I83816512","display_name":"University of Genoa","ror":"https://ror.org/0107c5v14","country_code":"IT","type":"education","lineage":["https://openalex.org/I83816512"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Francesco Dagnino","raw_affiliation_strings":["Universit\u00e0 degli Studi di Genova, Italy"],"affiliations":[{"raw_affiliation_string":"Universit\u00e0 degli Studi di Genova, Italy","institution_ids":["https://openalex.org/I83816512"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5038306122","display_name":"Fabio Pasquali","orcid":null},"institutions":[{"id":"https://openalex.org/I83816512","display_name":"University of Genoa","ror":"https://ror.org/0107c5v14","country_code":"IT","type":"education","lineage":["https://openalex.org/I83816512"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Fabio Pasquali","raw_affiliation_strings":["Universit\u00e0 degli Studi di Genova, Italy"],"affiliations":[{"raw_affiliation_string":"Universit\u00e0 degli Studi di Genova, Italy","institution_ids":["https://openalex.org/I83816512"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5046176286"],"corresponding_institution_ids":["https://openalex.org/I83816512"],"apc_list":null,"apc_paid":null,"fwci":0.928,"has_fulltext":true,"cited_by_count":8,"citation_normalized_percentile":{"value":0.78627072,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"13"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9800999760627747,"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"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9800999760627747,"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/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.9599000215530396,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9502999782562256,"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/computer-science","display_name":"Computer science","score":0.586632251739502},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4494563639163971}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.586632251739502},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4494563639163971}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/3531130.3533337","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3531130.3533337","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3531130.3533337","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science","raw_type":"proceedings-article"},{"id":"pmh:oai:air.unimi.it:2434/1158342","is_oa":true,"landing_page_url":"https://hdl.handle.net/2434/1158342","pdf_url":null,"source":{"id":"https://openalex.org/S4306400516","display_name":"Archivio Istituzionale della Ricerca (Universita Degli Studi Di Milano)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I189158943","host_organization_name":"University of Milan","host_organization_lineage":["https://openalex.org/I189158943"],"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":null,"raw_type":"info:eu-repo/semantics/bookPart"},{"id":"pmh:oai:iris.unige.it:11567/1097413","is_oa":true,"landing_page_url":"https://hdl.handle.net/11567/1097413","pdf_url":null,"source":{"id":"https://openalex.org/S4377196291","display_name":"CINECA IRIS Institutial Research Information System (University of Genoa)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I83816512","host_organization_name":"University of Genoa","host_organization_lineage":["https://openalex.org/I83816512"],"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":null,"raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"doi:10.1145/3531130.3533337","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3531130.3533337","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3531130.3533337","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3406956514","display_name":null,"funder_award_id":"PRIN 2020TL3X8X","funder_id":"https://openalex.org/F4320331528","funder_display_name":"Ministero dell'Universit\u00e0 e della Ricerca"}],"funders":[{"id":"https://openalex.org/F4320331528","display_name":"Ministero dell'Universit\u00e0 e della Ricerca","ror":null}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4289793575.pdf","grobid_xml":"https://content.openalex.org/works/W4289793575.grobid-xml"},"referenced_works_count":42,"referenced_works":["https://openalex.org/W111511002","https://openalex.org/W1923962694","https://openalex.org/W1971256104","https://openalex.org/W2015172530","https://openalex.org/W2020879982","https://openalex.org/W2036588712","https://openalex.org/W2063972032","https://openalex.org/W2065468423","https://openalex.org/W2072757019","https://openalex.org/W2091015169","https://openalex.org/W2096885339","https://openalex.org/W2097061283","https://openalex.org/W2099684400","https://openalex.org/W2105223068","https://openalex.org/W2114058479","https://openalex.org/W2126634848","https://openalex.org/W2129209610","https://openalex.org/W2135348665","https://openalex.org/W2137282578","https://openalex.org/W2166869969","https://openalex.org/W2315671126","https://openalex.org/W2515656721","https://openalex.org/W2531185145","https://openalex.org/W2562060745","https://openalex.org/W2595263283","https://openalex.org/W2744496130","https://openalex.org/W2798013195","https://openalex.org/W2798712453","https://openalex.org/W2799182172","https://openalex.org/W2799266534","https://openalex.org/W2911865844","https://openalex.org/W2964755768","https://openalex.org/W3029601918","https://openalex.org/W3047163819","https://openalex.org/W3174248365","https://openalex.org/W3181070739","https://openalex.org/W3201251067","https://openalex.org/W4206365843","https://openalex.org/W4248166369","https://openalex.org/W4256453086","https://openalex.org/W4289793575","https://openalex.org/W4388372929"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052","https://openalex.org/W4402327032","https://openalex.org/W2382290278"],"abstract_inverted_index":{"In":[0,32],"quantitative":[1,43,90,104,140],"reasoning":[2,44],"one":[3,14],"compares":[4],"objects":[5],"by":[6,92],"distances,":[7],"instead":[8],"of":[9,54,109,127],"equivalence":[10],"relations,":[11],"so":[12],"that":[13],"can":[15],"measure":[16],"how":[17],"much":[18],"they":[19,27],"are":[20,28],"similar,":[21],"rather":[22],"than":[23],"just":[24],"saying":[25],"whether":[26],"equivalent":[29],"or":[30],"not.":[31],"this":[33],"paper":[34],"we":[35],"aim":[36],"at":[37],"providing":[38],"a":[39,76,89,96,115,124],"logical":[40],"ground":[41],"to":[42,61,74,86,112],"with":[45,103],"distances":[46,63],"in":[47,67],"Linear":[48,68,101],"Logic,":[49],"using":[50],"the":[51,107],"categorical":[52,119],"language":[53],"Lawvere\u2019s":[55],"doctrines.":[56],"The":[57],"key":[58],"idea":[59],"is":[60],"see":[62],"as":[64],"equality":[65,105],"predicates":[66],"Logic.":[69],"We":[70,94,121],"use":[71],"graded":[72],"modalities":[73],"write":[75],"resource":[77],"sensitive":[78],"substitution":[79],"rule":[80],"for":[81,99,134],"equality,":[82],"which":[83,130],"allows":[84],"us":[85],"give":[87,113],"it":[88,114],"meaning":[91],"distances.":[93],"introduce":[95],"deductive":[97],"calculus":[98],"(Graded)":[100],"Logic":[102],"and":[106,117,139],"notion":[108],"Lipschitz":[110,128],"doctrine":[111],"sound":[116],"complete":[118],"semantics.":[120],"also":[122],"describe":[123],"universal":[125],"construction":[126],"doctrines,":[129],"generates":[131],"examples":[132],"based":[133],"instance":[135],"on":[136],"metric":[137],"spaces":[138],"realisability.":[141]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":4},{"year":2022,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2022-08-04T00:00:00"}