Domain Semirings United
Logic in Computer Science
2021-03-23 v2
Abstract
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.
Cite
@article{arxiv.2011.04704,
title = {Domain Semirings United},
author = {Uli Fahrenberg and Christian Johansen and Georg Struth and Krzysztof Ziemiánski},
journal= {arXiv preprint arXiv:2011.04704},
year = {2021}
}
Comments
7 pages