摘要
讨论了基于析取统一模的S蕴涵的若干性质,并在此基础上给出了它的2种等价刻画.最后研究了基于2种特殊析取统一模(幂等统一模、表现统一模)的S蕴涵.
The properties of S-implication based on disjunctive uninorm and two kinds of its axiomatic characterizations are discussed.In the end,the S-implications based on two kinds of special disjunctive uninorms(idempotent uninorm and representable uninorm)are also studied in detail.
出处
《宁夏大学学报(自然科学版)》
CAS
2015年第4期318-321,共4页
Journal of Ningxia University(Natural Science Edition)
基金
安徽省高校科研基金资助项目(KJ2012A136)
关键词
析取统一模
S蕴涵算子
强否定
disjunctive uninorm
S-implication operator
strong negation