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.


[1] M.B. Gorzalczany, A method of inference in approximate reasoning based on interval-valued fuzzy sets,
Fuzzy Sets and Systems, 21 (1987), 1–17.
[2] Y.S. Huang, BCI-algebra, Science Press: Beijing, China, 2006.
[3] K. Is´eki, On BCI-algebras, Mathematics Seminar Notes, 8 (1980), 125–130.
[4] K. Is´eki, S. Tanaka, An introduction to the theory of BCK-algebras, Mathematica Japonica, 23 (1978),
[5] Y.B. Jun, Dokdo structure and its application in BCK/BCI-algebras, TWMS Journal of Pure and
Applied Mathematics (Under review).
[6] Y.B. Jun, Lukasiewicz fuzzy subalgebras in BCK-algebras and BCI-algebras, Annals of Fuzzy Mathematics and Informatics, 23(2) (2022), 213–223.
[7] Y.B. Jun, K. Hur, J.G. Lee, J. Kim, Crossing cubic structures as an extension of bipolar fuzzy sets,
Annals of Fuzzy Mathematics and Informatics, 22(1) (2021), 1–15, DOI:10.30948/afmi.2021.22.1.1.
[8] Y.B. Jun, S. Z. Song, Crossing cubic ideals of BCK/BCI-algebras, Journal of Algebraic Hyperstructures
and Logical Algebras, 2(1) (2021), 17–31.
9] K.M. Lee, Bipolar-valued fuzzy sets and their operations, Proceeding of International Conference on
Intelligent Technologies, Bangkok, Thailand, (2000), 307–312.
[10] P.K. Maji, R. Biswas, A.R. Roy, Soft set theory, Computers and Mathematics with Applications, 45
(2003), 555–562.
[11] J. Meng, On ideals in BCK-algebras, Mathematica Japonica, 40(1) (1994), 143–154.
[12] J. Meng, Y.B. Jun, BCK-algebras, Kyungmoonsa Co. Seoul, Korea, 1994.
[13] D. Molodtsov, Soft set theory first results, Computers and Mathematics with Applications, 37 (1999),
[14] S.Z. Song, Y.B. Jun, Lukasiewicz fuzzy positive implicative ideals in BCK-algebras, Journal of Algebraic
Hyperstructures and Logical Algebras, 3(2) (2022), 47–58.
[15] L.A. Zadeh, The concept of a linguistic variable and its application to approximate reasoning-I, Information Sciences, 8 (1975), 199–249.