| 非可换模糊逻辑系统PL~*及其完备性 |
| |
| 引用本文： | 张小红.非可换模糊逻辑系统PL~*及其完备性[J].数学学报,2007(2). |
| |
| 作者姓名： | 张小红 |
| |
| 作者单位： | 宁波大学数学系 宁波 |
| |
| 基金项目： | 国家自然科学基金(60474022)，浙江省自然科学基金(Y605389) |
| |
| 摘 要： | 首先建立了非可换R_0t-模,以此为语义背景将模糊逻辑形式系统L~*拓广到非可换情形,提出了新的模糊逻辑形式系统PL~*,证明了系统PL~*的可靠性定理．其次,引入PL~*-代数及其滤子概念,得到PL~*-代数的正规素滤子定理,借此证明了PL~*系统的完备性．最后说明了PR_0t-模及PL~*系统可能的应用方向．
|
| 关 键 词： | 伪t-模 非可换模糊逻辑 正规素滤子定理 |
Non-Commutative Fuzzy Logic System PL~* and Its Completeness |
| |
| Xiao Hong ZHANG.Non-Commutative Fuzzy Logic System PL~* and Its Completeness[J].Acta Mathematica Sinica,2007(2). |
| |
| Authors: | Xiao Hong ZHANG |
| |
| Institution: | Xiao Hong ZHANG Department of Mathematics,Faculty of Sciences,Ningbo University,Ningbo 315211,P.R.China |
| |
| Abstract: | Firstly,non-commutative R_0 t-norms (called PR_0 t-norms) are established, and based on PR_0 t-norms a new fuzzy logic formal system PL~* is constructed as a non-commutative generalization of the formal system L~*.The soundness theorem of PL~* is proved.Secondly,the notion of PL~*-algebra is introduced,and the filter theory of PL~*-algebra is constructed.By the normal prime filter theorem of PL~*-algebra, the completeness theorem of formal system PL~* is proved.Finally,the role of formal system PL~* in application field is explained. |
| |
| Keywords: | pseudo-t-norm non-commutative fuzzy logic normal prime filter theorem |
| 本文献已被 CNKI 等数据库收录！ |
|
