Domain Semirings United
Author(s) -
Uli Fahrenberg,
Christian Johansen,
Georg Struth,
Krzysztof Ziemiański
Publication year - 2022
Publication title -
acta cybernetica
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.143
H-Index - 18
eISSN - 2676-993X
pISSN - 0324-721X
DOI - 10.14232/actacyb.291111
Subject(s) - semiring , idempotence , multiplicative function , bounded function , subalgebra , mathematics , domain (mathematical analysis) , distributive property , distributive lattice , kleene algebra , discrete mathematics , pure mathematics , algebra over a field , mathematical analysis
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.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom