Lukasiewicz fuzzy positive implicative ideals in BCK-algebras

Document Type : Original Article


1 Department of Mathematics, Jeju National University, Jeju 63243, Korea

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


In BCK-algebras, the notion of Lukasiewicz fuzzy positive implicative ideal is introduced, and several properties are investigated. The relationship between Lukasiewicz fuzzy ideal and Lukasiewicz fuzzy positive implicative ideal is discussed, and characterizations of a Lukasiewicz fuzzy positive implicative ideal are considered. Conditions for a Lukasiewicz fuzzy ideal to be a Lukasiewicz fuzzy positive implicative ideal are provided, and conditions for the ∈-set, q-set and O-set to be positive implicative ideals are explored.


[1] Y.S. Huang, BCI-algebra, Science Press: Beijing, China, 2006.
[2] K. Iséki, On BCI-algebras, Mathematics Seminar Notes, 8 (1980), 125–130.
[3] K. Iséki, S. Tanaka, An introduction to the theory of BCK-algebras, Mathematica Japonica, 23 (1978),
[4] Y.B. Jun, Łukasiewicz fuzzy subalgebras in BCK-algebras and BCI-algebras, Annals of Fuzzy Mathematics
and Informatics, 23(2) (2022), 213–223.
[5] Y.B. Jun, Łukasiewicz fuzzy ideals in BCK-algebras and BCI-algebras, Journal of Algebra and Related
Topics (under review),
[6] Y.B. Jun, S.M. Hong, S.J. Kim, S.Z. Song, Fuzzy ideals and fuzzy subalgebras of BCK-algebras, Journal
of Fuzzy Mathematics, 7 (1999), 411–418.
[7] 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.
[8] J. Meng, Y.B. Jun, BCK-algebras, Kyungmoonsa Co. Seoul, Korea, 1994.
[9] P.M. Pu, Y.M. Liu, Fuzzy topology I, neighborhood structure of a fuzzy point and Moore-Smith convergence,
Journal of Mathematical Analysis and Applications, 76 (1980), 571–599.
[10] O.G. Xi, Fuzzy BCK-algebras, Mathematica Japonica, 36 (1991), 935–942.