| 修正的Product逻辑系统中的广义重言式理论 |
| |
| 引用本文： | 刘练珍,李开泰.修正的Product逻辑系统中的广义重言式理论[J].模糊系统与数学,2005,19(1):12-17. |
| |
| 作者姓名： | 刘练珍 李开泰 |
| |
| 作者单位： | 西安交通大学,理学院,陕西,西安,710049 |
| |
| 摘 要： | 首先证明了在修正的Product逻辑系统中广义重言式有更加精细的区分；其次通过引入一类特殊的公式序列和特殊公式，进一步证明了对任意有理数a∈0，1]，可达α-重言式集是类类非空的，并同时给出了修正的Product逻辑系统中广义重言式的升级算法。
|
| 关 键 词： | 修正的P-逻辑 广义重言式 |
| 文章编号： | 1001-7402(2005)01-0012-06 |
| 修稿时间： | 2003年3月10日 |
Generalized Tautologies in Revised Product Logical Systems |
| |
| LIU Lian-zhen,LI Kai-tai.Generalized Tautologies in Revised Product Logical Systems[J].Fuzzy Systems and Mathematics,2005,19(1):12-17. |
| |
| Authors: | LIU Lian-zhen LI Kai-tai |
| |
| Abstract: | |
| |
| Keywords: | Revised P-logic Generalized Tautology |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
