BCK—代数的原子与极大元

本文给出了BCK一代数X存在非零原子及存在极大元的充要条件，同时利用子代数aX及高截段H（a)，给出了有限BCK-代数的乘法表的结构。