BL命题逻辑系统的强同余关系及演绎系统

通过在BL命题逻辑系统的公式集F(S)中提出演绎系统的概念,并引入强同余关系,讨论BL系统中演绎系统和强同余关系之间的联系,给出二者之间相互转换的方法,并得到了二者之间相互转换的还原性.

基于BL系统的演绎系统集代数的剩余格属性

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