|
|||||
|
|
| 参数Kleene系统中的广义重言式 | |
| 作者姓名： | 吴望名 |
| 作者单位： | 上海师范大学,数学科学学院,上海,200234 |
| 基金项目： | 国家自然科学基金!(69873 034) |
| 摘 要： | 引入新的一组带对数ｐ（ｐ∈「０,１」的ｔ－范∧ｐ,ｔ－余范∨ｐ和蕴涵θｐ,讨论它们的基本性质。在此基础上参数Ｋｌｅｅｎｅ系统Ｋｐ与三值Ｋｌｅｅｎｅ系统Ｋ３,三值Ｌｕｋａｓｉｅｗｉｃｚ系统Ｌ３和经典二值系统Ｂ２关于（广义）重言式的相互关系,指出系统Ｋｐ对广义重言式而言是可判定的。 |
| 关 键 词： | 参数Kleene系统 广义重言式 t-范∧p和t-余范∨p 可判定性 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |