Abstract: Proofs of inverse theorems of generalized deduction theorems of logic systems L* and BL* by logic deductive method are presented. By the completeness theorem and the generalized deduction theorem of logic system BL*, the strong soundness of logic system BL* is proved.

Key words: logic system L*, logic system BL*, generalized deduction theorem, strong soundness

摘要： 利用形式推演方法，给出逻辑系统L*和BL*的广义演绎定理逆定理的证明，并利用系统BL*的完备性定理及广义演绎定理证明系统BL*的强可靠性定理。

关键词: 逻辑系统L*, 逻辑系统BL*, 广义演绎定理, 强可靠性