Publication:4115148
From MaRDI portal
zbMath0346.02035MaRDI QIDQ4115148
Publication date: 1976
03G25: Other algebras related to logic
Related Items
On the variety generated by bounded pseudo-BCK-algebras, Boolean representation of bounded BCK-algebras, Semisimplicity and the discriminator in bounded BCK-algebras, Subtraction Menger algebras