Cartesian Product of Fuzzy Implication in BCK-Algebra

• BCK代数中Fuzzy蕴涵理想的Cartesian积