View article

The notion of the meet set based on two subsets of a lower BCK-semilattice X is introduced, and related properties are investigated. Conditions for the meet set to be a (positive implicative, commutative, implicative) ideal are discussed. The meet ideal based on subsets, and the plus ideal of two subsets in a lower BCK-semilattice X are also introduced, and related properties are investigated. Using meet operation and addition, the semiring structure is induced.