On compatible deductive systems of pseudo-BCI-algebras

From MaRDI portal
Publication:4583753