Answers are grounded in this paper and cite their sources.
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.
No takes yet. Share an insight, caveat, or question.
Zhao et al. (2020) studied this question.
Synapse has enriched 10 related papers. Consider them for comparative context: