一类正规蕴涵及其导出算子

一类正规蕴涵及其导出算子

通过对一些蕴涵算子性质的的研究得出:伴随对是三角模的蕴涵算子一定是正规蕴涵;若正规蕴涵的伴随对是三角模则其导出算子是其自身;正则蕴涵算子的导出算子是其自身.这些结论对建立多值逻辑的语义理论有重要的应用.

作 者： 魏美丽 WEI Mei-li   作者单位： 榆林学院数学与应用数学系,榆林,719000  刊 名： 科学技术与工程  ISTIC 英文刊名： SCIENCE TECHNOLOGY AND ENGINEERING  年，卷(期)： 2009 9(9)  分类号： O144.4  关键词： 正规蕴涵   导出算子   伴随对   三角模   正则蕴涵算子  

【一类正规蕴涵及其导出算子】相关文章：

基于正则蕴涵算子的三Ⅰ算法的性质04-27

一类常微分算子的谱分析04-26

一类连续区间数据的有序加权调和(C-OWH)平均算子及其应用04-27

一类新型Stancu-Kantorovich算子在Orlicz空间的饱和性04-26

一类无穷维Hamilton算子特征函数系的完备性04-26

伪逆算子的性质及其在框架理论中的应用04-26

一种模糊有序加权(FOWA)算子及其应用04-27

关于一类积分不等式的推广及其应用04-27

有限单纯格蕴涵代数04-26

格蕴涵代数的拓扑结构04-27