基于一类严格三角范数的命题逻辑

剩余模糊逻辑演算与连续三角范数是紧密相关的，三角范数是合取联结词的真值函数，三角范数的剩余是蕴涵联结词的真值函数。在这些逻辑中，非运算都是由蕴涵和真值常量石定义的，即→p：p→0^-。在本文中，我们引入一种具有对合性质的强非运算联结词“～”和投影联结词“△”，证明基于严格泛与运算模型t（x，y，h）（h∈（0．75，1））的命题演算逻辑pc（t）系统是基本严格模糊逻辑sbl；pc（t）～是基本严格模糊逻辑sbl的扩张sbl～。