Bipolar Fuzzy Sheffer Stroke in BCK-Algebras

In this study, we examine bipolar fuzzy SBCK-subalgebras and their corresponding level sets of bipolar fuzzy sets in the setting of Sheffer stroke BCK-algebras. These concepts contribute significantly to the analysis of bipolar logical structures within this algebraic context. We demonstrate a bidirectional relationship between SBCK-subalgebras and their level sets, proving that each level set derived from a bipolar fuzzy SBCK-subalgebra constitutes a subalgebra, and, conversely, each such subalgebra defines an associated level set. This duality emphasizes the structural interplay between bipolar fuzzy logic and the Sheffer stroke operation in BCK-algebras.