The investigation is with an emphasis on the techniques for conditional reasoning on IFL, including the implications, the conditions, the multiplications, and the multi-dimensions on IFL, etc.

• 推导了相关的推理合成运算公式。