Implicative ideals of BCK-algebras based on Dokdo structure

Document Type : Original Article


Department of Mathematics Education, Gyeongsang National University, Jinju 52828, Korea


A Dokdo structure is used to study implicative ideals in BCK-algebras. The notion of Dokdo implicative ideals in BCK-algebras is introduced, and the relevant properties are investigated. The relationship between Dokdo subalgebras, Dokdo ideals, and Dokdo implicative ideals are discussed, and conditions that allow a Dokdo ideal and a Dokdo subalgebra to be a Dokdo implicative ideal are provided.