%0 Journal Article
%T 基于一类严格三角范数的命题逻辑
%J 计算机科学
%D 2008
%X 剩余模糊逻辑演算与连续三角范数是紧密相关的，三角范数是合取联结词的真值函数，三角范数的剩余是蕴涵联结词的真值函数。在这些逻辑中，非运算都是由蕴涵和真值常量石定义的，即→p：p→0^-。在本文中，我们引入一种具有对合性质的强非运算联结词“～”和投影联结词“△”，证明基于严格泛与运算模型t（x，y，h）（h∈（0．75，1））的命题演算逻辑pc（t）系统是基本严格模糊逻辑sbl；pc（t）～是基本严格模糊逻辑sbl的扩张sbl～。
%K 泛与运算模型泛蕴涵运算模型严格三角范数基本严格模糊逻辑sbl
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=27038406&flag=1