Scholarlink

Building upon the pioneering work of H. Jiang, who developed a computer program for classifying finite BCK-algebras, J. Meng and X. X. Niu conducted a comprehensive study of the commutativity, implicativity, and positive implicativity of all BCK-algebras with an order of 5 or less. This section draws upon the valuable insights presented in the work of J. Meng and Y. B. Jun (see [213, pp. 242–278] or [265, Appendix A]).

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

Appendix B

  • 章节

  • 发表日期：

    2026年

查看全文
  • Anatolij Dvurečenskij,
  • Omid Zahiri,
  • Mona Aaly Kologani,
  • Rajab Ali Borzooei

摘要

Building upon the pioneering work of H. Jiang, who developed a computer program for classifying finite BCK-algebras, J. Meng and X. X. Niu conducted a comprehensive study of the commutativity, implicativity, and positive implicativity of all BCK-algebras with an order of 5 or less. This section draws upon the valuable insights presented in the work of J. Meng and Y. B. Jun (see [213, pp. 242–278] or [265, Appendix A]).