一類正規蘊涵及其導出算子

通過對一些蘊涵算子性質的的研究得出:伴隨對是三角模的蘊涵算子一定是正規蘊涵;若正規蘊涵的伴隨對是三角模則其導出算子是其自身;正則蘊涵算子的導出算子是其自身.這些結論對建立多值邏輯的語義理論有重要的應用.

作 者： 魏美麗 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