{"id":"https://openalex.org/W3030890936","doi":"https://doi.org/10.1145/3373718.3394742","title":"A characterisation of ordered abstract probabilities","display_name":"A characterisation of ordered abstract probabilities","publication_year":2020,"publication_date":"2020-05-26","ids":{"openalex":"https://openalex.org/W3030890936","doi":"https://doi.org/10.1145/3373718.3394742","mag":"3030890936"},"language":"en","primary_location":{"id":"doi:10.1145/3373718.3394742","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3373718.3394742","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3373718.3394742","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science","raw_type":"proceedings-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3373718.3394742","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Abraham Westerbaan","orcid":null},"institutions":[{"id":"https://openalex.org/I145872427","display_name":"Radboud University Nijmegen","ror":"https://ror.org/016xsfp80","country_code":"NL","type":"education","lineage":["https://openalex.org/I145872427"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Abraham Westerbaan","raw_affiliation_strings":["Radboud Universiteit, Nijmegen"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Radboud Universiteit, Nijmegen","institution_ids":["https://openalex.org/I145872427"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Bas Westerbaan","orcid":null},"institutions":[{"id":"https://openalex.org/I2800173700","display_name":"UCL Australia","ror":"https://ror.org/024atcf19","country_code":"AU","type":"education","lineage":["https://openalex.org/I2800173700"]},{"id":"https://openalex.org/I45129253","display_name":"University College London","ror":"https://ror.org/02jx3x895","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I45129253"]}],"countries":["AU","GB"],"is_corresponding":false,"raw_author_name":"Bas Westerbaan","raw_affiliation_strings":["University College, London"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University College, London","institution_ids":["https://openalex.org/I2800173700","https://openalex.org/I45129253"]}]},{"author_position":"last","author":{"id":null,"display_name":"John van de Wetering","orcid":null},"institutions":[{"id":"https://openalex.org/I145872427","display_name":"Radboud University Nijmegen","ror":"https://ror.org/016xsfp80","country_code":"NL","type":"education","lineage":["https://openalex.org/I145872427"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"John van de Wetering","raw_affiliation_strings":["Radboud Universiteit, Nijmegen"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Radboud Universiteit, Nijmegen","institution_ids":["https://openalex.org/I145872427"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.7285,"has_fulltext":true,"cited_by_count":5,"citation_normalized_percentile":{"value":0.76557399,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"944","last_page":"957"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9998000264167786,"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.9998000264167786,"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/T11703","display_name":"Rings, Modules, and Algebras","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/2602","display_name":"Algebra and Number Theory"},"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/T11671","display_name":"Fuzzy and Soft Set Theory","score":0.9965999722480774,"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/unit-interval","display_name":"Unit interval","score":0.609000027179718},{"id":"https://openalex.org/keywords/algebraic-structure","display_name":"Algebraic structure","score":0.5814999938011169},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.5410000085830688},{"id":"https://openalex.org/keywords/unit","display_name":"Unit (ring theory)","score":0.5059000253677368},{"id":"https://openalex.org/keywords/boolean-algebra","display_name":"Boolean algebra","score":0.48330000042915344},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.4537999927997589},{"id":"https://openalex.org/keywords/total-order","display_name":"Total order","score":0.4250999987125397},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.41690000891685486}],"concepts":[{"id":"https://openalex.org/C128394911","wikidata":"https://www.wikidata.org/wiki/Q1987578","display_name":"Unit interval","level":2,"score":0.609000027179718},{"id":"https://openalex.org/C182419690","wikidata":"https://www.wikidata.org/wiki/Q205464","display_name":"Algebraic structure","level":2,"score":0.5814999938011169},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.5410000085830688},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5340999960899353},{"id":"https://openalex.org/C122637931","wikidata":"https://www.wikidata.org/wiki/Q118084","display_name":"Unit (ring theory)","level":2,"score":0.5059000253677368},{"id":"https://openalex.org/C39685927","wikidata":"https://www.wikidata.org/wiki/Q173183","display_name":"Boolean algebra","level":2,"score":0.48330000042915344},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4618000090122223},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.4537999927997589},{"id":"https://openalex.org/C144901957","wikidata":"https://www.wikidata.org/wiki/Q369377","display_name":"Total order","level":3,"score":0.4250999987125397},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.41690000891685486},{"id":"https://openalex.org/C159423971","wikidata":"https://www.wikidata.org/wiki/Q177251","display_name":"Associative property","level":2,"score":0.4162999987602234},{"id":"https://openalex.org/C2778067643","wikidata":"https://www.wikidata.org/wiki/Q166507","display_name":"Interval (graph theory)","level":2,"score":0.3725999891757965},{"id":"https://openalex.org/C122203268","wikidata":"https://www.wikidata.org/wiki/Q5862903","display_name":"Probability theory","level":2,"score":0.3495999872684479},{"id":"https://openalex.org/C130327152","wikidata":"https://www.wikidata.org/wiki/Q748349","display_name":"Mathematical structure","level":2,"score":0.32919999957084656},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3149999976158142},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.314300000667572},{"id":"https://openalex.org/C2779782106","wikidata":"https://www.wikidata.org/wiki/Q4724020","display_name":"Algebraic theory","level":3,"score":0.3107999861240387},{"id":"https://openalex.org/C2989065042","wikidata":"https://www.wikidata.org/wiki/Q7378971","display_name":"Algebraic properties","level":2,"score":0.310699999332428},{"id":"https://openalex.org/C122123141","wikidata":"https://www.wikidata.org/wiki/Q176623","display_name":"Random variable","level":2,"score":0.30079999566078186},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.2971000075340271},{"id":"https://openalex.org/C94020503","wikidata":"https://www.wikidata.org/wiki/Q12916","display_name":"Real number","level":2,"score":0.2635999917984009},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.26010000705718994},{"id":"https://openalex.org/C2781409172","wikidata":"https://www.wikidata.org/wiki/Q17056802","display_name":"Involution (esoterism)","level":3,"score":0.2572999894618988},{"id":"https://openalex.org/C136003732","wikidata":"https://www.wikidata.org/wiki/Q3854337","display_name":"Algebraic operation","level":3,"score":0.25189998745918274}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1145/3373718.3394742","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3373718.3394742","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3373718.3394742","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:1912.10040","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1912.10040","pdf_url":"https://arxiv.org/pdf/1912.10040","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:repository.ubn.ru.nl:2066/221030","is_oa":false,"landing_page_url":"https://hdl.handle.net/2066/221030","pdf_url":null,"source":{"id":"https://openalex.org/S4306401067","display_name":"Radboud Repository (Radboud University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I145872427","host_organization_name":"Radboud University Nijmegen","host_organization_lineage":["https://openalex.org/I145872427"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Article in monograph or in proceedings"},{"id":"pmh:ru:oai:repository.ubn.ru.nl:2066/221030","is_oa":false,"landing_page_url":"http://hdl.handle.net/2066/221030","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Hermanns, H. (ed.), LICS'20: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Saarbr\u00fccken, Germany, July, 2020, 944 - 957. New York : Association for Computing Machinery","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1145/3373718.3394742","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3373718.3394742","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3373718.3394742","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1764870811","display_name":null,"funder_award_id":"FA2386-18-1-4028","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"},{"id":"https://openalex.org/G3591598716","display_name":null,"funder_award_id":"FA2386","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"}],"funders":[{"id":"https://openalex.org/F4320338279","display_name":"Air Force Office of Scientific Research","ror":"https://ror.org/011e9bt93"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3030890936.pdf","grobid_xml":"https://content.openalex.org/works/W3030890936.grobid-xml"},"referenced_works_count":32,"referenced_works":["https://openalex.org/W166240935","https://openalex.org/W1969869433","https://openalex.org/W1985511348","https://openalex.org/W1991966579","https://openalex.org/W2006474225","https://openalex.org/W2019238008","https://openalex.org/W2021768421","https://openalex.org/W2021849198","https://openalex.org/W2040870895","https://openalex.org/W2046448894","https://openalex.org/W2046900812","https://openalex.org/W2066230022","https://openalex.org/W2069974662","https://openalex.org/W2072718083","https://openalex.org/W2077498699","https://openalex.org/W2077998048","https://openalex.org/W2080412456","https://openalex.org/W2103417273","https://openalex.org/W2110664297","https://openalex.org/W2123564030","https://openalex.org/W2165212773","https://openalex.org/W2219634533","https://openalex.org/W2267753132","https://openalex.org/W2607566499","https://openalex.org/W2733911839","https://openalex.org/W2761271237","https://openalex.org/W2795932065","https://openalex.org/W2951084199","https://openalex.org/W2962744501","https://openalex.org/W2963667778","https://openalex.org/W3101797328","https://openalex.org/W6739496119"],"related_works":[],"abstract_inverted_index":{"In":[0,45],"computer":[1],"science,":[2],"especially":[3],"when":[4,101],"dealing":[5],"with":[6,121],"quantum":[7],"computing":[8],"or":[9],"other":[10],"non-standard":[11],"models":[12],"of":[13,35,38,60,81,85,132],"computation,":[14],"basic":[15],"notions":[16],"in":[17,119],"probability":[18],"theory":[19],"like":[20],"\"a":[21],"predicate\"":[22],"vary":[23],"wildly.":[24],"There":[25],"seems":[26],"to":[27,50],"be":[28],"one":[29],"constant:":[30],"the":[31,41,58,61,82,86,129],"only":[32,99],"useful":[33],"example":[34],"an":[36,79,92,108,116,122],"algebra":[37],"probabilities":[39],"is":[40,98],"real":[42,62,87],"unit":[43,63,88,130],"interval.":[44],"this":[46,52,74],"paper":[47],"we":[48],"try":[49],"explain":[51],"phenomenon.":[53],"We":[54,72],"will":[55],"show":[56],"that":[57],"structure":[59,84],"interval":[64],"naturally":[65],"arises":[66],"from":[67],"a":[68],"few":[69],"reasonable":[70],"assumptions.":[71],"do":[73],"by":[75],"studying":[76],"effect":[77,117],"monoids,":[78],"abstraction":[80],"algebraic":[83],"interval:":[89],"it":[90,115],"has":[91],"addition":[93],"x":[94,102,112],"+":[95,103],"y":[96,104],"which":[97,113],"defined":[100],"\u2264":[105],"1":[106],"and":[107,135],"involution":[109],"x~1":[110],"--":[111],"make":[114],"algebra,":[118],"combination":[120],"associative":[123],"(possibly":[124],"non-commutative)":[125],"multiplication.":[126],"Examples":[127],"include":[128],"intervals":[131],"ordered":[133],"rings":[134],"Boolean":[136],"algebras.":[137]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2020-06-05T00:00:00"}