Abstract
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.
| Original language | English |
|---|---|
| Pages (from-to) | 945-954 |
| Number of pages | 10 |
| Journal | Journal of Computational Analysis and Applications |
| Volume | 23 |
| Issue number | 5 |
| State | Published - 2017 |
Keywords
- Addition
- Lower BCK-semilattice
- Meet ideal
- Meet operation
- Meet set
- Plus ideal
- Semiring