首页|形式演绎系统L*中的运算与演绎定理

形式演绎系统L*中的运算与演绎定理

The Operation  and Deductive Theoremin the Formal Deductive System L*

扫码查看
原文链接
  • NETL
  • NSTL
  • 万方数据
对著名的形式演绎系统L*做了进一步的研究，得到一些新定理。在系统L*中引入新的二元运算，讨论了这种运算的性质，并由此得到了形式系统L*中的演绎定理。
In 1997,Wang Guojun introduced a formal deductive system L* which has been applied to fuzzy reasoning. In this paper, the system L* is further studied, and some new theorems are obtained. After a new operation  is introduced into the system L*, its properties are discussed. Thus the deductive theorem of the system L* is obtained.

裴道武

展开 >

四川大学数学学院

模糊逻辑 形式演绎系统 演绎定理

2001

模糊系统与数学
国防科技大学理学院

模糊系统与数学

CSCD
影响因子：0.42
ISSN：1001-7402
年,卷(期)：2001.15(1)
  • 27
  • 1