{"id":"https://openalex.org/W6891663028","doi":"https://doi.org/10.4230/lipics.fscd.2025.15","title":"On the Metric Nature of (Differential) Logical Relations","display_name":"On the Metric Nature of (Differential) Logical Relations","publication_year":2025,"publication_date":"2025-01-01","ids":{"openalex":"https://openalex.org/W6891663028","doi":"https://doi.org/10.4230/lipics.fscd.2025.15"},"language":"en","primary_location":{"id":"pmh:oai:HAL:hal-05431373v1","is_oa":true,"landing_page_url":"https://hal.science/hal-05431373","pdf_url":"https://hal.science/hal-05431373/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"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":"FSCD 2025 - 10th International Conference on Formal Structures for Computation and Deduction, Jul 2025, Birmigham, United Kingdom. ⟨10.4230/LIPICS.FSCD.2025.15⟩","raw_type":"Conference papers"},"type":"article","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://hal.science/hal-05431373/document","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Dal Lago, Ugo","orcid":"https://orcid.org/0000-0001-9200-070X"},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]},{"id":"https://openalex.org/I9360294","display_name":"University of Bologna","ror":"https://ror.org/01111rn36","country_code":"IT","type":"education","lineage":["https://openalex.org/I9360294"]}],"countries":["FR","IT"],"is_corresponding":false,"raw_author_name":"Dal Lago, Ugo","raw_affiliation_strings":["University of Bologna, Italy","INRIA Sophia Antipolis, France"],"raw_orcid":"https://orcid.org/0000-0001-9200-070X","affiliations":[{"raw_affiliation_string":"University of Bologna, Italy","institution_ids":["https://openalex.org/I9360294"]},{"raw_affiliation_string":"INRIA Sophia Antipolis, France","institution_ids":["https://openalex.org/I1326498283"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Hoshino, Naohiko","orcid":"https://orcid.org/0000-0003-2647-0310"},"institutions":[{"id":"https://openalex.org/I181097317","display_name":"Sojo University","ror":"https://ror.org/014fz7968","country_code":"JP","type":"education","lineage":["https://openalex.org/I181097317"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Hoshino, Naohiko","raw_affiliation_strings":["Sojo University, Kumamoto, Japan"],"raw_orcid":"https://orcid.org/0000-0003-2647-0310","affiliations":[{"raw_affiliation_string":"Sojo University, Kumamoto, Japan","institution_ids":["https://openalex.org/I181097317"]}]},{"author_position":"last","author":{"id":null,"display_name":"Pistone, Paolo","orcid":"https://orcid.org/0000-0003-4250-9051"},"institutions":[{"id":"https://openalex.org/I100532134","display_name":"Universit\u00e9 Claude Bernard Lyon 1","ror":"https://ror.org/029brtt94","country_code":"FR","type":"education","lineage":["https://openalex.org/I100532134","https://openalex.org/I203339264"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Pistone, Paolo","raw_affiliation_strings":["Universit\u00e9 Claude Bernard Lyon 1, France"],"raw_orcid":"https://orcid.org/0000-0003-4250-9051","affiliations":[{"raw_affiliation_string":"Universit\u00e9 Claude Bernard Lyon 1, France","institution_ids":["https://openalex.org/I100532134"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.19994372,"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":true,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.671999990940094,"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/T10126","display_name":"Logic, programming, and type systems","score":0.671999990940094,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.26919999718666077,"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/T10142","display_name":"Formal Methods in Verification","score":0.03449999913573265,"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/metric","display_name":"Metric (unit)","score":0.6620000004768372},{"id":"https://openalex.org/keywords/logical-conjunction","display_name":"Logical conjunction","score":0.5467000007629395},{"id":"https://openalex.org/keywords/metric-space","display_name":"Metric space","score":0.48500001430511475},{"id":"https://openalex.org/keywords/measure","display_name":"Measure (data warehouse)","score":0.483599990606308},{"id":"https://openalex.org/keywords/differential","display_name":"Differential (mechanical device)","score":0.4449000060558319},{"id":"https://openalex.org/keywords/logical-framework","display_name":"Logical framework","score":0.391400009393692},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.3828999996185303},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3725000023841858},{"id":"https://openalex.org/keywords/product-metric","display_name":"Product metric","score":0.34929999709129333}],"concepts":[{"id":"https://openalex.org/C176217482","wikidata":"https://www.wikidata.org/wiki/Q860554","display_name":"Metric (unit)","level":2,"score":0.6620000004768372},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5533999800682068},{"id":"https://openalex.org/C21847791","wikidata":"https://www.wikidata.org/wiki/Q191081","display_name":"Logical conjunction","level":2,"score":0.5467000007629395},{"id":"https://openalex.org/C198043062","wikidata":"https://www.wikidata.org/wiki/Q180953","display_name":"Metric space","level":2,"score":0.48500001430511475},{"id":"https://openalex.org/C2780009758","wikidata":"https://www.wikidata.org/wiki/Q6804172","display_name":"Measure (data warehouse)","level":2,"score":0.483599990606308},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4519999921321869},{"id":"https://openalex.org/C93226319","wikidata":"https://www.wikidata.org/wiki/Q193137","display_name":"Differential (mechanical device)","level":2,"score":0.4449000060558319},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.41749998927116394},{"id":"https://openalex.org/C20693621","wikidata":"https://www.wikidata.org/wiki/Q6667502","display_name":"Logical framework","level":2,"score":0.391400009393692},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.3828999996185303},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3725000023841858},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.36320000886917114},{"id":"https://openalex.org/C154497576","wikidata":"https://www.wikidata.org/wiki/Q7247777","display_name":"Product metric","level":3,"score":0.34929999709129333},{"id":"https://openalex.org/C134752490","wikidata":"https://www.wikidata.org/wiki/Q374182","display_name":"Logical consequence","level":2,"score":0.3086000084877014},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.304500013589859},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3028999865055084},{"id":"https://openalex.org/C2983390893","wikidata":"https://www.wikidata.org/wiki/Q1092582","display_name":"Logical analysis","level":3,"score":0.2987000048160553},{"id":"https://openalex.org/C56949724","wikidata":"https://www.wikidata.org/wiki/Q219079","display_name":"Truth table","level":2,"score":0.28679999709129333},{"id":"https://openalex.org/C74992188","wikidata":"https://www.wikidata.org/wiki/Q239179","display_name":"Non-classical logic","level":3,"score":0.2831999957561493},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.27630001306533813},{"id":"https://openalex.org/C18762648","wikidata":"https://www.wikidata.org/wiki/Q42213","display_name":"Work (physics)","level":2,"score":0.27160000801086426},{"id":"https://openalex.org/C70846408","wikidata":"https://www.wikidata.org/wiki/Q220433","display_name":"Logical equivalence","level":3,"score":0.26910001039505005},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.26600000262260437},{"id":"https://openalex.org/C194989596","wikidata":"https://www.wikidata.org/wiki/Q211790","display_name":"Logical connective","level":2,"score":0.2637999951839447},{"id":"https://openalex.org/C193429382","wikidata":"https://www.wikidata.org/wiki/Q232405","display_name":"Metric system","level":2,"score":0.2526000142097473},{"id":"https://openalex.org/C56802139","wikidata":"https://www.wikidata.org/wiki/Q149999","display_name":"Differential calculus","level":2,"score":0.2517000138759613},{"id":"https://openalex.org/C203702819","wikidata":"https://www.wikidata.org/wiki/Q17146953","display_name":"Logical data model","level":3,"score":0.25130000710487366}],"mesh":[],"locations_count":4,"locations":[{"id":"pmh:oai:HAL:hal-05431373v1","is_oa":true,"landing_page_url":"https://hal.science/hal-05431373","pdf_url":"https://hal.science/hal-05431373/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"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":"FSCD 2025 - 10th International Conference on Formal Structures for Computation and Deduction, Jul 2025, Birmigham, United Kingdom. ⟨10.4230/LIPICS.FSCD.2025.15⟩","raw_type":"Conference papers"},{"id":"pmh:oai:drops-oai.dagstuhl.de:23630","is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2025.15","pdf_url":"https://drops.dagstuhl.de/storage/00lipics/lipics-vol337-fscd2025/LIPIcs.FSCD.2025.15/LIPIcs.FSCD.2025.15.pdf","source":{"id":"https://openalex.org/S4377196569","display_name":"DROPS (Schloss Dagstuhl \u2013 Leibniz Center for Informatics)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2799853480","host_organization_name":"Schloss Dagstuhl \u2013 Leibniz Center for Informatics","host_organization_lineage":["https://openalex.org/I2799853480"],"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":"publishedVersion"},{"id":"pmh:oai:cris.unibo.it:11585/1033338","is_oa":true,"landing_page_url":"https://hdl.handle.net/11585/1033338","pdf_url":null,"source":{"id":"https://openalex.org/S4306402579","display_name":"Archivio istituzionale della ricerca (Alma Mater Studiorum Universit\u00e0 di Bologna)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210117483","host_organization_name":"Istituto di Ematologia di Bologna","host_organization_lineage":["https://openalex.org/I4210117483"],"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"},{"id":"doi:10.4230/lipics.fscd.2025.15","is_oa":true,"landing_page_url":"https://doi.org/10.4230/lipics.fscd.2025.15","pdf_url":null,"source":{"id":"https://openalex.org/S7407052059","display_name":"Dagstuhl Research Online Publication Server","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":""}],"best_oa_location":{"id":"pmh:oai:HAL:hal-05431373v1","is_oa":true,"landing_page_url":"https://hal.science/hal-05431373","pdf_url":"https://hal.science/hal-05431373/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"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":"FSCD 2025 - 10th International Conference on Formal Structures for Computation and Deduction, Jul 2025, Birmigham, United Kingdom. ⟨10.4230/LIPICS.FSCD.2025.15⟩","raw_type":"Conference papers"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W6891663028.pdf","grobid_xml":"https://content.openalex.org/works/W6891663028.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Differential":[0],"logical":[1,60],"relations":[2],"are":[3,27],"a":[4,41],"method":[5],"to":[6,53,75,79,100,120],"measure":[7],"distances":[8],"between":[9,24],"higher-order":[10],"programs.":[11],"They":[12],"differ":[13],"from":[14,90],"standard":[15],"methods":[16],"based":[17],"on":[18],"program":[19,128],"metrics":[20],"in":[21,32,36,73],"that":[22,67,85,93],"differences":[23],"functional":[25],"programs":[26],"themselves":[28],"functions,":[29],"relating":[30],"errors":[31,35],"input":[33],"with":[34],"output,":[37],"this":[38,50],"way":[39],"providing":[40],"more":[42],"fine":[43],"grained,":[44],"contextual,":[45],"information.":[46],"The":[47],"aim":[48],"of":[49,58],"paper":[51],"is":[52],"clarify":[54],"the":[55,86,106],"metric":[56,81],"nature":[57],"differential":[59],"relations.":[61],"While":[62],"previous":[63],"work":[64],"has":[65],"shown":[66],"these":[68],"do":[69],"not":[70],"give":[71],"rise,":[72],"general,":[74],"(quasi-)metric":[76],"spaces":[77],"nor":[78],"partial":[80,104],"spaces,":[82],"we":[83,94,116],"show":[84],"distance":[87],"functions":[88],"arising":[89],"such":[91,118],"relations,":[92],"call":[95],"quasi-quasi-metrics,":[96],"can":[97],"be":[98],"related":[99],"both":[101],"quasi-metrics":[102],"and":[103],"metrics,":[105],"latter":[107],"being":[108],"also":[109],"captured":[110],"by":[111],"suitable":[112],"relational":[113],"definitions.":[114],"Moreover,":[115],"exploit":[117],"connections":[119],"deduce":[121],"some":[122],"new":[123],"compositional":[124],"reasoning":[125],"principles":[126],"for":[127],"differences.":[129]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}