THE VARIETY GENERATED BY AN AI-SEMIRING OF ORDER THREE
THE VARIETY GENERATED BY AN AI-SEMIRING OF ORDER THREE
复制标题
DOI：
10.15826/umj.2020.2.012
复制
发表时间：
2020-12
影响因子：
--
通讯作者：
X. Zhao;M. Ren;S. Crvenkovic;Yong Shao;P. Dapic
中科院分区：
文献类型：
--
作者：
X. Zhao;M. Ren;S. Crvenkovic;Yong Shao;P. Dapic
Up to isomorphism, there are 61 ai-semirings of order three. The finite basis problem for these semirings is investigated. This problem for 45 semirings of them is answered by some results in the literature. The remaining semirings are studied using equational logic. It is shown that with the possible exception of the semiring \(S_7\), all ai-semirings of order three are finitely based.
