正则FBR0-代数的弱t-模及其应用

J4 ›› 2015, Vol. 37 ›› Issue (01): 99-103.

正则FBR0-代数的弱t-模及其应用

牛超慧，吴洪博

（陕西师范大学数学与信息科学学院，陕西西安 710062）

收稿日期:2013-04-28 修回日期:2013-09-06 出版日期:2015-01-25 发布日期:2015-01-25
基金资助:
国家自然科学基金资助项目(11171196)

Weak t-norm of regular FBR0-algebras and its application

NIU Chaohui,WU Hongbo

(College of Mathematics and Information Science,Shaanxi Normal University,Xi’an 710062,China)

Received:2013-04-28 Revised:2013-09-06 Online:2015-01-25 Published:2015-01-25

摘要/Abstract

摘要：

吴望名教授建立的FI-代数(模糊蕴涵代数)是重要的基础逻辑代数, 且通过弱化WBR0-代数建立的FBR0-代数与FI-代数有相同的代数结构。对FBR0-代数进行了较细致的研究。首先,证明了正则的FBR0代数与RBR0-代数有相同的代数结构; 其次,讨论了正则FBR0代数中弱t-模的基本性质; 最后,给出了正则FBR0代数的弱t-模表示形式。

关键词: 逻辑代数, 正则FBR0-代数, RBR0-代数, 伴随对, 弱t模

Abstract:

FBR0-algebras (fuzzy BR0-algebras), which are built up by weakening the conditions of WBR0-algebras, have the same algebraic structure with FI-algebras (fuzzy implication algebras) which are important and basic logic algebras proposed by professor Wu Wang-ming. FBR0-algebra is studied in detail. Firstly, it is proved that regular FBR0-algebras have the same algebraic structure with RBR0-algebras. Secondly, the basic properties of weak t-norm of regular FBR0algebras are discussed. Finally, a representation of regular FBR0-algebras is given in the form of weak t-norm.

Key words: logic algebra;regular FBR0-algebras;RBR0-algebras;adjoint pairs;weak t-norm

牛超慧，吴洪博. 正则FBR0-代数的弱t-模及其应用[J]. J4, 2015, 37(01): 99-103.

NIU Chaohui,WU Hongbo. Weak t-norm of regular FBR0-algebras and its application [J]. J4, 2015, 37(01): 99-103.

参考文献

［1］Wu Wangming. Fuzzy implication algebras［J］. Fuzzy Systems and Mathematics, 1990, 4(1):5664.(in Chinese)
［2］Xu Yang. Lattice implication algebras［J］. Journal of Southwest Jiaotong University, 1993, 89(1):2027.(in Chinese)
［3］Wang Guojun. A kind of formal deduction systems of fuzzy propositional calculation［J］. Chinese Science Bulletin, 1997, 42(10):10411045.(in Chinese)
［4］Wang Guojun. Nonclassical mathematical logic and approximate reasoning［M］. Beijing:Science Press, 2003.(in Chinese)
［5］Wang Guojun. Introduction to mathematical logic and resolution principle［M］. 2nd edtion. Beijing:Science Press,2006.(in Chinese)
［6］Wu Hongbo. Basic R0algebra and basis L* systems［J］. Advances in Mathematics, 2003, 32(5):565576.(in Chinese)
［7］Wu Hongbo,Wang Zhaohai.The nonordered form of BR0algebras and properties of WBR0algebras［J］. Chinese Journal of Engineering Mathematics, 2009, 26(3):456460.(in Chinese)
［8］Wang Zhiming, Wu Hongbo. A construction and properties of WBR0algebra［J］. Fuzzy Systems and Mathematics, 2011, 25(4):5561.(in Chinese)
［9］Zhou Jianren, Wu Hongbo. The regularness of WBR0algebras and relationship with other logic algebras［J］. Journal of Shandong University(Nature Science), 2012, 47(2), 8692.(in Chinese)
［10］Chen Dongqing, Wu Hongbo. Representative of WBR0algebras on ∧semilattices and its example［J］. Computer Engineering and Applications, 2011, 47(27):4951.(in Chinese)
［11］WU Hongbo, Wang Na.The 2kinds of weak forms of WBR0algebras and their properties［J］. Journal of Shaanxi Normal University (Natural Science Edition), 2012,40(4):15.(in Chinese)
［12］Zhou Jianren, Wu Hongbo. Residuated poset and its relation with FIalgebras［J］. Journal of Yunnan Normal University(Natural Science Edition), 2012, 32(3):16.(in Chinese)
［13］Wu Supeng,Wang Guojun.Commutative weak R0algebras［J］. Journal of Yunnan Normal University, 2007, 27(1):14.(in Chinese)
［14］Wang Weihua, Wu Hongbo. Representation by residuate lattices of noncommutative BR0algebra［J］. Fuzzy Systems and Mathematics, 2011, 25(5):1824.(in Chinese)
［15］Wang Weihua, Wu Hongbo. Noncommutative BR0algebra and quantales on it［J］. Computer Engineering and Applications, 2008, 44(25):4345.(in Chinese)
［16］Hu Mingdi, Wang Guojun. Normal MPfilters and boolean MPfilters of basic R0algebra［J］. Computer Engineering and Applications, 2007, 43(5), 3335.(in Chinese)
［17］Hu Mingdi, Wang Guojun. The structure of basic R0algebras［J］. Basic Sciences Journal of Textile University, 2006, 19(13):205209.(in Chinese)
附中文参考文献：
［1］吴望名. Fuzzy蕴涵代数［J］. 模糊系统与数学, 1990, 4(1):5664.
［2］徐扬. 格蕴涵代数［J］. 西南交通大学学报, 1993, 89(1):2027.
［3］王国俊. 模糊命题演算的一种形式演绎系统L*［J］. 科学通报, 1997, 42(10):10411045.
［4］王国俊. 非经典数理逻辑与近似推理［M］. 北京:科学出版社, 2003.
［5］王国俊. 数理逻辑引论与归结原理［M］. 第二版.北京:科学出版社, 2006.
［6］吴洪博. 基础R0代数与基础L*系统［J］. 数学进展, 2003, 32(5):565576.
［7］吴洪博, 王昭海. BR0代数的无序表示形式及WBR0代数的性质［J］. 工程数学学报, 2009, 26(3):456460.
［8］王志明, 吴洪博. WBR0代数的构建与性质［J］. 模糊系统与数学, 2011, 25(4):5561.
［9］周建仁, 吴洪博. WBR0代数的正则性及与其他逻辑代数的关系［J］. 山东大学学报（理学版）, 2012, 47(2):8692.
［10］陈冬青, 吴洪博. WBR0代数的∧半格表示及其实例［J］. 计算机工程与应用, 2011, 47(27):4951.
［11］吴洪博, 王娜. WBR0代数的两种弱化形式及其性质［J］. 陕西师范大学学报(自然科学版), 2012, 40(4):15.
［12］周建仁, 吴洪博. 剩余偏序集及其与FI代数的关系［J］. 云南师范大学学报(自然科学版), 2012, 32(3):16.
［13］吴苏朋, 王国俊. 可交换弱R0代数［J］. 云南师范大学学报(自然科学版), 2007, 27(1):14.
［14］王伟华, 吴洪博. 非交换BR0代数的剩余格表示［J］. 模糊系统与数学, 2011, 25(5):1824.
［15］王伟华, 吴洪博. 非交换BR0代数及其上的Quantale［J］. 计算机工程与应用, 2008, 44(25):4345.
［16］胡明娣, 王国俊. 基础R0代数的正规MP滤子和布尔MP滤子［J］. 计算机工程与应用, 2007, 43(5):3335.
［17］胡明娣, 王国俊. 基础R0代数的结构研究［J］. 纺织高校基础科学学报, 2006, 19(3):205209.