基于一级泛与运算模型的命题模糊逻辑
本文讨论一级泛与运算模型T(x,y,h,k)(h∈(0,0.75),k∈(0,1))”h∈(0.75,1),k∈(0,1)”的一些性质;证明一级泛与运算模型T(x,y,h,k)(h∈(0,0.75),k∈(0,1))”h∈(0.75,1),k∈(0,1)”是一个幂零三角范数”严格三角范数”.进一步证明(”0,1”,∨,∧,*,→,0,1)作成一个MV-代数”乘积代数”;证明基于一级泛与运算模型T(x,y,h,k)(h∈(0,0.75),k∈(0,1))”h∈(0.75,1),k∈(0,1)”的命题演算系统PC(T)是Lukasiewicz逻辑命题演算系统”乘积逻辑命题演算系统”.
一级泛 运算模型 一级泛蕴涵运算模型 幂零三角范数 严格三角范数 伴随对 模糊逻辑
罗敏霞 何华灿
运城学院数学系,044000;西北工业大学计算机学院,710072 西北工业大学计算机学院,710072
国内会议
武汉
中文
83-88
2005-09-20(万方平台首次上网日期,不代表论文的发表时间)