Nontrivial BCK/BCI-algebras do not satisfy the fuzzy ascending chain condition

From MaRDI portal
Publication:879020