# Domain Semirings United

arXiv: https://arxiv.org/abs/2011.04704 · HTML: https://mlsanity.com/paper/2011.04704/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 9 Nov 2020.

## Built on by (most cited first, 1 of 1)

- [On Incorrectness Logic and Kleene Algebra with Top and Tests](https://mlsanity.com/paper/2108.07707/) (2021)

## Abstract (arXiv)

Domain operations on semirings have been axiomatised in two different ways: by a map from an additively idempotent semiring into a boolean subalgebra of the semiring bounded by the additive and multiplicative unit of the semiring, or by an endofunction on a semiring that induces a distributive lattice bounded by the two units as its image. This note presents classes of semirings where these approaches coincide.