Semiring Semantics: Algebraic Properties vs. Logical Results

Add to your list(s) Download to your calendar using vCal

• Sophie Brinke (RWTH Aachen)
• Friday 10 October 2025, 14:00-15:00
• SS03, Computer Laboratory.

If you have a question about this talk, please contact Ioannis Markakis.

Semiring provenance was originally introduced in database theory with the aim of explaining why certain tuples are (not) contained in the answer of a query — to explain their provenance. To this end, logical statements are not just evaluated to true or false but by values from a commutative semiring. This allows us to track which combinations of atomic facts are responsible for the truth of a statement and to derive practical information about costs, access levels, or confidence scores. Recently, this approach has been expanded to a systematic study of semiring semantics for first-order logic and other logical systems. This talk gives an overview of the recent results on the generalisation of model-theoretic properties and methods such as compactness, Ehrenfeucht-Fraïssé games, or locality beyond the Boolean semiring. Many model-theoretic notions admit natural generalisations to the semiring framework (e.g. entailments can be understood as inequalities of semiring valuations) while even simple properties lead to surprisingly difficult questions that require new proof techniques. It turns out that most of the classical logical results and methods can be generalised to some semirings but fail for others. We shall discuss how this is related to algebraic properties of the underlying semirings such as idempotence and absorption.

This talk is part of the Logic and Semantics Seminar (Computer Laboratory) series.

This talk is included in these lists:

• All Talks (aka the CURE list)
• Cambridge talks
• Computing and Mathematics
• Department of Computer Science and Technology talks and seminars
• Interested Talks
• Logic and Semantics Seminar (Computer Laboratory)
• Martin's interesting talks
• SS03, Computer Laboratory
• School of Technology
• Trust & Technology Initiative - interesting events
• bld31
• tcw57’s list
• yk373's list
• yk449

Note that ex-directory lists are not shown.