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

• 作者: 何华灿 罗敏霞
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 泛与运算模型 泛蕴涵运算模型 严格三角范数 基本严格模糊逻辑SBL
• 年，卷（期）: 2008,（4）
• 所属期刊栏目: 人工智能及图像处理技术
• 页码范围: 129-131
• 页数: 3页
• 分类号: TP3
• 字数: 3921字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2008.04.036

摘要

剩余模糊逻辑演算与连续三角范数是紧密相关的,三角范数是合取联结词的真值函数,三角范数的剩余是蕴涵联结词的真值函数. 在这些逻辑中,非运算都是由蕴涵和真值常量0定义的,即(→)P∶P→0-.在本文中,我们引入一种具有对合性质的强非运算联结词"～"和投影联结词"Δ",证明基于严格泛与运算模型T(x,y,h)(h∈(0.75,1))的命题演算逻辑PC(T)系统是基本严格模糊逻辑SBL;PC(T)～是基本严格模糊逻辑SBL的扩张SBL～.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	何华灿	西北工业大学计算机学院	181	1581	19.0	32.0
2	罗敏霞	中国计量学院理学院	15	29	4.0	5.0