1 paper · 1 filter
Xiaolei Shao, Miaomiao Ren, Zidong Gao
We present an explicit infinite equational basis for the six-element additively idempotent semiring TR6 and prove that TR6 is nonfinitely based. We also give a complete descr…