| 逻辑系统W,W,Wk中的广义语义HS规则和广义语义MP规则 |
| |
| 引用本文： | 吴洪博. 逻辑系统W,W,Wk中的广义语义HS规则和广义语义MP规则[J]. 模糊系统与数学, 2003, 17(4) |
| |
| 作者姓名： | 吴洪博 |
| |
| 作者单位： | 陕西师范大学,数学与信息科学学院,陕西,西安,710062 |
| |
| 摘 要： | 研究模糊命题演算的形式演绎系统L·及在语义上相关的修正的Kleene逻辑系统,W,Wk,引入语义[α]-MP规则,语义[α+]-MP规则,语义[α]-HS规则,语义[α+]-HS规则等概念,并对这些规则的性质进行讨论,进一步加强该系统中的Σ-(α-重言式)的相应结果,丰富该系统中Σ-(α-重言式)的内容,为进一步研究该系统提供一个有益的工具.
|
| 关 键 词： | 模糊逻辑 修正的Kleene逻辑系统 广义重言式 广义语义HS规则 广义语义MP规则 |
Generalized Semantic HS Rule and Generalized Semantic MP Rule of Generalized Tautologies in Logic Systems W,W,Wk |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
