We show that the variety of MV-algebras is 22-based and we offer elegant 22-bases for the varieties of commutative BCK-algebras and {\L}BCK-algebras.
生成讲解博客的中文版本
生成AI智能校验的中文版本