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 latti...

Teljes leírás

Elmentve itt :
Bibliográfiai részletek
Szerzők: Fahrenberg Uli
Johansen Christian
Struth Georg
Ziemiański Krzysztof
Testületi szerző: Conference of PhD Students in Computer Science (12.) (2020) (Szeged)
Dokumentumtípus: Cikk
Megjelent: University of Szeged, Institute of Informatics Szeged 2022
Sorozat:Acta cybernetica 25 No. 3
Kulcsszavak:Számítástechnika
Tárgyszavak:
doi:10.14232/actacyb.291111

Online Access:http://acta.bibl.u-szeged.hu/75624
Leíró adatok
Tartalmi kivonat: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.
Terjedelem/Fizikai jellemzők:575-583
ISSN:0324-721X