About a ``one-point extension of (i,j; m,n) type simulating commutativity of BCK-algebras

From MaRDI portal
Publication:2735318