On the structure of linearly ordered pseudo-BCK-algebras

From MaRDI portal
Publication:1042440