| 基础R0-代数的性质及在L*系统中的应用 |
| |
| 引用本文： | 吴洪博.基础R0-代数的性质及在L*系统中的应用[J].数学研究与评论,2003,23(3):557-563. |
| |
| 作者姓名： | 吴洪博 |
| |
| 作者单位： | 陕西师范大学数学研究所,陕西,西安,710062 |
| |
| 摘 要： | 研究了王国俊教授建立的模糊命题演算的形式演绎系统L*和与之在语义上相关的R0-代数,提出了基础R0-代数的观点并讨论了其中的一些性质,在将L*系统中的推演证明转化为相应的R0-代数中的代数运算方面作了一些尝试,作为它的一个应用,证明了L*系统中的模糊演绎定理。
|
| 关 键 词： | 模糊逻辑 基础R0-代数 R0-代数 L*系统 模糊演绎定理 |
| 文章编号： | 1000-341X(2003)03-0557-07 |
| 收稿时间： | 2/1/2001 12:00:00 AM |
| 修稿时间： | 2001年2月1日 |
The Properties of BR0-algebra and Its Applications in L* System |
| |
| WU Hong-bo.The Properties of BR0-algebra and Its Applications in L* System[J].Journal of Mathematical Research and Exposition,2003,23(3):557-563. |
| |
| Authors: | WU Hong-bo |
| |
| Institution: | Inst. of Math.; Shaanxi Normal University; Xi'an; China |
| |
| Abstract: | The formal deductive system L* for fuzzy prepositional calculus and R0-algebra relevant to former in semantics have been studied, a concept of basic R0-algebra with its properties is proposed in this paper. We change the deduction and proof in L* system into the relevant algebra's operation in R0-algebra. As its application, we prove the fuzzy deductive theorem in L* system. |
| |
| Keywords: | fuzzy logic basic R0-algebra L* system fuzzy deductive theorem |
| 本文献已被 CNKI 维普 等数据库收录！ |
| 点击此处可从《数学研究与评论》浏览原始摘要信息 |
| 点击此处可从《数学研究与评论》下载免费的PDF全文 |
