Finitely Generated Varieties of Commutative BCK-algebras: Covers
Abstract
The article aims at describing all covers of any finitely generated variety of cBCK-algebras. It is known that subdirectly irreducible cBCK-algebras are rooted trees (concerning their order). Also, all subdirectly irreducible members of finitely generated variety are subalgebras of subdirectly irreducible generators of that variety. The first part of the article focuses on subalgebras of finite subdirectly irreducible cBCK-algebras. In the second part of the article, a construction is presented that provides all the covers of any finitely generated variety.
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.