计算机科学 ›› 2008, Vol. 35 ›› Issue (4): 129-131.
• • 上一篇 下一篇
出版日期:
发布日期:
基金资助:
Online:
Published:
摘要： 剩余模糊逻辑演算与连续三角范数是紧密相关的，三角范数是合取联结词的真值函数，三角范数的剩余是蕴涵联结词的真值函数。在这些逻辑中，非运算都是由蕴涵和真值常量石定义的，即→P：P→0^-。在本文中，我们引入一种具有对合性质的强非运算联结词“～”和投影联结词“△”，证明基于严格泛与运算模型T（x，y，h）（h∈（0．75，1））的命题演算逻辑PC（T）系统是基本严格模糊逻辑SBL；PC（T）～是基本严格模糊逻辑SBL的扩张SBL～。
关键词: 泛与运算模型 泛蕴涵运算模型 严格三角范数 基本严格模糊逻辑SBL
Abstract: Residuated fuzzy logic calculi are related to continuous t-norms, which are used as truth functions for conjunction, and their residua as truth functions for implication. In these logic, a negation is also definable from the implication and the truth cons
Key words: Universal conjunction model, Universal implication model, Strict t-norm,Basic strict fuzzy logic SBL
. 基于一类严格三角范数的命题逻辑[J]. 计算机科学, 2008, 35(4): 129-131. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y2008/V35/I4/129
Cited
首页