|
|||||
|
|
| 修正的Kleene系统中的Σ-(α-重言式)理论 | |
| 引用本文： | 王国俊.修正的Kleene系统中的Σ-(α-重言式)理论[J].中国科学(E辑),1998(2). |
| 作者姓名： | 王国俊 |
| 作者单位： | 陕西师范大学数学研究所!西安710062 |
| 基金项目： | 国家自然科学基金资助项目 !(批准号 :193310 30 ) |
| 摘 要： | 证明了关于全体赋值而言 ,修正的Kleene系统中只有 3种α 重言式 .在赋值域为有限集的情形证明了当α过半时α 重言式的类类互异定理 .最后 ,在有限值系统中证明了广义重言式的重言式表示定理 . |
| 关 键 词： | 修正的Kleene系统 Σ-(α-重言式) 可达α-重言式 类类互异定理 重言式表示定理 |
| 本文献已被 CNKI 等数据库收录！ | |