Domain Semirings United

Domain Semirings United
复制标题

领域半环联

DOI：
10.14232/actacyb.291111
复制
发表时间：
2020
期刊：
ArXiv
影响因子：
--
通讯作者：
Krzysztof Ziemi'anksi
Krzysztof Ziemi'anksi
中科院分区：
--
文献类型：
--
作者：
U. Fahrenberg;Christian Johansen;G. Struth;Krzysztof Ziemi'anksi

文献摘要

被引文献

相似文献

半环上的Domain运算有两种不同的公理化方式：从一个加法幂等半环到这个半环的一个布尔子代数的映射，这个布尔子代数由这个半环的加法单位和乘法单位所界定;或者是一个半环上的一个内函数，它诱导出一个由这两个单位所界定的分配格作为它的像。本文介绍了这些方法相吻合的半环类。
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.