| 参数Kleene系统中的广义重言式 |
| |
| 引用本文： | 吴望名.参数Kleene系统中的广义重言式[J].模糊系统与数学,2000,14(1):1-7. |
| |
| 作者姓名： | 吴望名 |
| |
| 作者单位： | 上海师范大学,数学科学学院,上海,200234 |
| |
| 基金项目： | 国家自然科学基金!(69873 034) |
| |
| 摘 要： | 引入新的一组带对数ｐ（ｐ∈「０，１」的ｔ－范∧ｐ，ｔ－余范∨ｐ和蕴涵θｐ，讨论它们的基本性质。在此基础上参数Ｋｌｅｅｎｅ系统Ｋｐ与三值Ｋｌｅｅｎｅ系统Ｋ３，三值Ｌｕｋａｓｉｅｗｉｃｚ系统Ｌ３和经典二值系统Ｂ２关于（广义）重言式的相互关系，指出系统Ｋｐ对广义重言式而言是可判定的。
|
| 关 键 词： | 参数Kleene系统 广义重言式 t－范∧A t－余范∨p |
Generalized Tautologies in Parametric Kleene's Systems |
| |
| WU Wang-ming.Generalized Tautologies in Parametric Kleene's Systems[J].Fuzzy Systems and Mathematics,2000,14(1):1-7. |
| |
| Authors: | WU Wang-ming |
| |
| Abstract: | |
| |
| Keywords: | Parametric Kleene's System Generalized Tautology t-norm t-conorm Decidability |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
