|
|||||
|
|
| Lukasiewicz系统中的广义重言式理论 | |
| 引用本文： | 杨晓斌,张文修.Lukasiewicz系统中的广义重言式理论[J].陕西师大学报,1998,26(4):6-9. |
| 作者姓名： | 杨晓斌 张文修 |
| 摘 要： | 引入了一类特殊的公式序列ＡＫ（Ｋ＝１，２，．．．）从而证明了在Ｌｕｋａｓｉｅｗｉｃｚ系统中广义重言式有更加精细的区分，即在连续值或有理值的情形下对任意真值α和β，并给出了广义重言式的关系定理，即对任意真值α，α－Ｔ（Ｌ）＝β〈α，β∈（Ｌ）β－Ｔ（Ｌ）。 |
| 关 键 词： | L系统 模糊逻辑 广义重言式理论 模糊推理 |
| 本文献已被 维普 等数据库收录！ | |