Domain Semirings United
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.
2010 ◽
Vol 17
(spec01)
◽
pp. 851-864
◽
2014 ◽
Vol E97.B
(7)
◽
pp. 1385-1394
◽
2001 ◽
Vol 26
(9)
◽
pp. 539-545
Keyword(s):
Keyword(s):
1998 ◽
Vol 41
(3)
◽
pp. 290-297
◽