摘要
本文讨论泛与运算模型T(x,y,h)(h∈(0.75,1))的一些性质;证明了泛与运算模型T(x,y,h)(h∈(0.75,1))是一个严格三角范数;泛与运算模型T(x,y,h)(h∈(0.75,1))与泛蕴涵运算模型I(x,y,h)(h∈(0.75,1))形成伴随对;并且当h∈(0.75,1)时,有界格([0,1],∨,∧,*,→,0,1)做成乘积代数.h∈]0,1]时,有界格([0,1],∨,∧,*,→,0,1)做成BL代数.给出了基于严格泛与运算模型T(x,y,h)(h∈(0.75,1))的模糊命题演算系统PC(T),进一步证明了此命题演算系统就是乘积逻辑命题演算系统.最后得到基于泛与运算模型T(x,y,h)(h]0,1])的模糊命题演算系统就是基本逻辑BL命题演算系统.
NETL