A NONFINITELY BASED FINITE SEMIRING
Igor Dolinka · International Journal of Algebra and Computation · 2007
We present a semiring formed by seven binary relations on a two-element set (or, equivalently, by seven Boolean 2 × 2 matrices) that does not have a finite basis for its identities. Some related open problems are also discussed.