| R0-代数中一种混合运算的性质及L*系统的完备性 |
| |
| 引用本文： | 佟伟玲,李全有,吴洪博.R0-代数中一种混合运算的性质及L*系统的完备性[J].纯粹数学与应用数学,2002,18(3):250-255. |
| |
| 作者姓名： | 佟伟玲 李全有 吴洪博 |
| |
| 作者单位： | 唐山师范学院数学系,河北,唐山,063000 |
| |
| 摘 要： | 研究了王国俊教授建立的模糊命题演算的形式演绎系统L*及与之在语义上相关的R0-代数,讨论了R0-代数中混合运算():a()b= (a→()b)的性质,并以此为工具利用Petr Hajek证明Lukasiewicz模糊命题演算系统关于语义ΩL完备性的方法证明了L*系统关于语义ΩW的完备性.
|
| 关 键 词： | 模糊逻辑 命题演算 R0－代数 混合运算 形式演绎系统T^＊ 完备性 |
| 文章编号： | 1008-5513(2002)03-0250-06 |
| 修稿时间： | 2001年2月13日 |
The properties of a mix operator on R0-algebra and the completeness of the system L* |
| |
| TONG Wei ling,LI Quan you,WU Hong bo.The properties of a mix operator on R0-algebra and the completeness of the system L*[J].Pure and Applied Mathematics,2002,18(3):250-255. |
| |
| Authors: | TONG Wei ling LI Quan you WU Hong bo |
| |
| Abstract: | |
| |
| Keywords: | R 0 algebra milture operator formal deductive system L * completeness |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
