在命题逻辑系统 BL 中提出了演绎系统的概念，并且给出了由 F ( S) 的子集生成演绎系统的方法，证明了.命题逻辑系统 BL 中演绎系统和结论之集的同一性; 其次，在命题逻辑系统 BL 中证明了在包含偏序关系下所有.演绎系统构成的集族 D( F ) 中上，下确界的存在性; 最后，在 D( F ) 中定义了二元运算∧，∨，* ，→，证明了集.代数( D( F ) ，∧，∨，* ，→，0，1) 是满足可除性的完备剩余格。