PC-lattices: a class of bounded BCK-algebras

From MaRDI portal
Publication:4556006