{"id":"https://openalex.org/W7160890071","doi":"https://doi.org/10.48550/arxiv.2605.10829","title":"Preservation Theorems in Semiring Semantics","display_name":"Preservation Theorems in Semiring Semantics","publication_year":2026,"publication_date":"2026-05-11","ids":{"openalex":"https://openalex.org/W7160890071","doi":"https://doi.org/10.48550/arxiv.2605.10829"},"language":"en","primary_location":{"id":"pmh:doi:10.4230/lipics.icalp.2026.172","is_oa":true,"landing_page_url":"https://tel.archives-ouvertes.fr/tel-04534568","pdf_url":null,"source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","issn_l":null,"issn":null,"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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"ConferencePaper"},"type":"conference-paper","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://tel.archives-ouvertes.fr/tel-04534568","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5092796571","display_name":"Sophie Brinke","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Brinke, Sophie","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5135981824","display_name":"Anuj Dawar","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Dawar, Anuj","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5135971790","display_name":"Erich Gr\u00e4del","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Gr\u00e4del, Erich","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5135997654","display_name":"Benedikt Pago","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Pago, Benedikt","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.3057999908924103,"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.3057999908924103,"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.2451999932527542,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.20090000331401825,"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/semiring","display_name":"Semiring","score":0.879800021648407},{"id":"https://openalex.org/keywords/homomorphism","display_name":"Homomorphism","score":0.5385000109672546},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.42289999127388},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.41449999809265137},{"id":"https://openalex.org/keywords/kleene-algebra","display_name":"Kleene algebra","score":0.4088999927043915},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3968999981880188},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.3628999888896942},{"id":"https://openalex.org/keywords/algebraic-logic","display_name":"Algebraic logic","score":0.3621000051498413},{"id":"https://openalex.org/keywords/distributive-lattice","display_name":"Distributive lattice","score":0.34310001134872437}],"concepts":[{"id":"https://openalex.org/C21696900","wikidata":"https://www.wikidata.org/wiki/Q1333055","display_name":"Semiring","level":2,"score":0.879800021648407},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5949000120162964},{"id":"https://openalex.org/C4042151","wikidata":"https://www.wikidata.org/wiki/Q215111","display_name":"Homomorphism","level":2,"score":0.5385000109672546},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5101000070571899},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.42289999127388},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.41449999809265137},{"id":"https://openalex.org/C206470798","wikidata":"https://www.wikidata.org/wiki/Q2634506","display_name":"Kleene algebra","level":2,"score":0.4088999927043915},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3968999981880188},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.3628999888896942},{"id":"https://openalex.org/C86523455","wikidata":"https://www.wikidata.org/wiki/Q1005222","display_name":"Algebraic logic","level":3,"score":0.3621000051498413},{"id":"https://openalex.org/C192606457","wikidata":"https://www.wikidata.org/wiki/Q2363730","display_name":"Distributive lattice","level":3,"score":0.34310001134872437},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.326200008392334},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.31189998984336853},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.3068999946117401},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.29409998655319214},{"id":"https://openalex.org/C2780432614","wikidata":"https://www.wikidata.org/wiki/Q864213","display_name":"Conservative extension","level":2,"score":0.2930999994277954},{"id":"https://openalex.org/C2781204021","wikidata":"https://www.wikidata.org/wiki/Q6497091","display_name":"Lattice (music)","level":2,"score":0.28040000796318054},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.27630001306533813},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.27070000767707825},{"id":"https://openalex.org/C2185349","wikidata":"https://www.wikidata.org/wiki/Q190558","display_name":"Negation","level":2,"score":0.26980000734329224},{"id":"https://openalex.org/C2779729104","wikidata":"https://www.wikidata.org/wiki/Q4724013","display_name":"Algebraic semantics","level":3,"score":0.26649999618530273},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.26600000262260437},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2639999985694885},{"id":"https://openalex.org/C2777152325","wikidata":"https://www.wikidata.org/wiki/Q108163","display_name":"Proposition","level":2,"score":0.2556999921798706}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:doi:10.4230/lipics.icalp.2026.172","is_oa":true,"landing_page_url":"https://tel.archives-ouvertes.fr/tel-04534568","pdf_url":null,"source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","issn_l":null,"issn":null,"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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"ConferencePaper"},{"id":"doi:10.48550/arxiv.2605.10829","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.10829","pdf_url":null,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:doi:10.4230/lipics.icalp.2026.172","is_oa":true,"landing_page_url":"https://tel.archives-ouvertes.fr/tel-04534568","pdf_url":null,"source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","issn_l":null,"issn":null,"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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"ConferencePaper"},"sustainable_development_goals":[{"display_name":"Life in Land","id":"https://metadata.un.org/sdg/15","score":0.42923247814178467}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"We":[0,143],"study":[1],"the":[2,9,13,18,29,37,51,60,81,101,120,126,129,136,140,175,196,201,211,214,217,221,225,244,254,258,267],"status":[3,127],"of":[4,20,32,53,70,106,122,128,139,174,200,237],"preservation":[5,15,111,131,147,203,227],"theorems":[6,148],"such":[7,62,97,109],"as":[8,63,110],"\u0141o\u015b-Tarski":[10,259],"theorem":[11,16,132,204,228,260],"and":[12,76,95,164,178,220],"homomorphism":[14],"in":[17,28,165,192,234,250,262,266],"context":[19],"semiring":[21,71,123,193],"semantics.":[22,124,194],"Semiring":[23],"semantics":[24,72],"has":[25],"its":[26],"origins":[27],"provenance":[30],"analysis":[31],"database":[33],"queries.":[34],"Depending":[35],"on":[36,100,135],"underlying":[38,102],"semiring,":[39,213,216,219],"it":[40],"allows":[41],"us":[42],"to":[43,83,92,119,253],"track":[44],"which":[45],"atomic":[46],"facts":[47],"are":[48],"responsible":[49],"for":[50,73,152,185,206,231,246],"truth":[52],"a":[54,235],"statement":[55],"or":[56,65,115],"practical":[57],"information":[58],"about":[59],"evaluation":[61],"costs":[64],"confidence.":[66],"The":[67,104,170],"systematic":[68],"development":[69],"first-order":[74],"logic":[75],"other":[77,197,208],"logical":[78,186],"systems":[79],"raises":[80],"question":[82],"what":[84],"extent":[85],"classical":[86,176],"model-theoretic":[87],"results":[88,98],"can":[89],"be":[90],"generalised":[91],"this":[93],"setting":[94,121],"how":[96],"depend":[99],"semiring.":[103,223],"definitions":[105],"semantic":[107],"properties":[108,138],"under":[112],"extensions,":[113],"substructures,":[114],"homomorphisms":[116],"naturally":[117],"generalise":[118],"However,":[125],"corresponding":[130],"strongly":[133],"depends":[134],"algebraic":[137],"particular":[141,166],"semirings.":[142,242],"prove":[144],"that":[145,188],"these":[146,247],"do":[149],"indeed":[150],"hold":[151,230],"all":[153,167,240],"lattice":[154,241],"semirings":[155,163,248],"(a":[156],"quite":[157],"large":[158],"class,":[159],"encompassing":[160],"practically":[161],"relevant":[162],"min-max":[168],"semirings).":[169],"proofs":[171],"combine":[172],"adaptations":[173],"compactness":[177],"amalgamation":[179],"methods":[180,184],"with":[181],"specific":[182],"reduction":[183],"entailment":[187],"have":[189],"been":[190],"developed":[191],"On":[195],"side,":[198],"variants":[199],"existential":[202,226],"fail":[205],"many":[207],"semirings,":[209,238],"including":[210,239],"tropical":[212],"Viterbi":[215],"\u0141ukasiewicz":[218],"natural":[222],"Surprisingly,":[224],"does":[229],"finite":[232],"interpretations":[233],"number":[236],"Thus,":[243],"situation":[245],"is":[249],"sharp":[251],"contrast":[252],"Boolean":[255],"case,":[256],"where":[257],"holds":[261],"general,":[263],"but":[264],"not":[265],"finite.":[268]},"counts_by_year":[],"updated_date":"2026-07-15T18:14:33.161393","created_date":"2026-05-13T00:00:00"}