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

摘要：

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

关键词：泛与运算模型、泛蕴涵运算模型、严格三角范数、基本严格模糊逻辑SBL

所属期刊栏目：35

分类号：TP3(计算技术、计算机技术)

资助基金：国家自然科学基金60273087;中国计量学院科研启动基金

在线出版日期：2008-06-23（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：129-131