软BCK代数再研究
연BCK대수재연구
Soft BCK algebra