元素个数不超过6的真伪BCK-代数

研究元素个数不超过6的真伪BCK-代数的计数问题。首先,证明了在元素个数不超过3的偏序集上不存在真伪BCK-代数。其次,引入NP-型偏序集(不存在真伪BCK-代数的含最大元的偏序集)、偏序集的层、次余原子等概念,证明了在一个层数n≤3的NP-型偏序集上添加孤立余原子(或孤立次余原子或上邻元的个数n≥3的极小次余原子)后得到的偏序集也是NP-型偏序集,由此得到26种NP-型偏序集(元素个数n≤6)。最后,借助Matlab软件编程计算得出所有非同构的元素个数不超过6的真伪BCK-代数,其中元素个数为4的真伪BCK-代数2个,元素个数为5的真伪BCK-代数34个,元素个数为6的真伪BCK-代数631个。