| 基础R0-代数与基础L*系统 |
| |
| 引用本文： | 吴洪博. 基础R0-代数与基础L*系统[J]. 数学进展, 2003, 32(5): 565-576 |
| |
| 作者姓名： | 吴洪博 |
| |
| 作者单位： | 陕西师范大学数学研究所,西安,陕西,710062,中国 |
| |
| 摘 要： | 研究了王国俊教授建立的模糊命题演算的形式演绎系统L^*和与之在语义上相匹配的R0-代数，以及：Petr Hajek建立的模糊命题演算系统BL和BL-代数，提出了基础R0-代数和基础L^*系统的观点，讨论了基础L^*代数与BL代数，基础L^*系统与BL系统之间．的相互关系及相对独立性，讨论了基础L^*系统关于基础风一代数的完备性问题，证明了MV-代数是特殊的基础R0-代数，指出了Lukasiewicz模糊命题演算系统是基础L^*系统的扩张，最后作为基础R0-代数与基础L^*系统的一个应用，证明了L^*系统关于语义Ωw的完备性，并在将模糊命题演算系统中的推演证明转化为相应逻辑代数中的代数运算方面作了一些尝试．
|
| 关 键 词： | 基础R0-代数 基础L^＊系统 模糊命题演算 形式演绎系统 BL-代数 MV-代数 完备性 逻辑代数 |
| 文章编号： | 1000-0917(2003)05-0565-12 |
| 修稿时间： | 2001-01-30 |
Basis R0-albebra and Basis L* System |
| |
| WU Hong-bo. Basis R0-albebra and Basis L* System[J]. Advances in Mathematics(China), 2003, 32(5): 565-576 |
| |
| Authors: | WU Hong-bo |
| |
| Abstract: | |
| |
| Keywords: | fuzzy logic basis .R_0-algebra basis L~* system MV-algebra BL-algebra propositional calculus system |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
