On some computational algorithms for \(n\)-fold ideals in BCK-algebras

From MaRDI portal
Publication:874360