| 修正的Product逻辑系统中的广义重言式理论 |
| |
| 引用本文： | 刘练珍,李开泰. 修正的Product逻辑系统中的广义重言式理论[J]. 模糊系统与数学, 2005, 19(1): 12-17 |
| |
| 作者姓名： | 刘练珍 李开泰 |
| |
| 作者单位： | 西安交通大学,理学院,陕西,西安,710049;西安交通大学,理学院,陕西,西安,710049 |
| |
| 摘 要： | 首先证明了在修正的Product逻辑系统中广义重言式有更加精细的区分；其次通过引入一类特殊的公式序列和特殊公式，进一步证明了对任意有理数a∈[0，1]，可达α-重言式集是类类非空的，并同时给出了修正的Product逻辑系统中广义重言式的升级算法。
|
| 关 键 词： | 修正的P-逻辑 广义重言式 |
| 文章编号： | 1001-7402(2005)01-0012-06 |
| 修稿时间： | 2003-03-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 维普 万方数据 等数据库收录！ |
|
