|
|||||
|
|
| 中介命题逻辑系统的强完全性 | |
| 引用本文： | 张丽娟,潘正华.中介命题逻辑系统的强完全性[J].无锡教育学院学报,2000,20(2):63-64. |
| 作者姓名： | 张丽娟 潘正华 |
| 作者单位： | [1]无锡师范学校，江苏无锡214000 [2]无锡教育学院，江苏无锡214063 |
| 摘 要： | 本讨论中介命题逻辑系统的强完全性，证明了中介命题逻辑系统MP和扩展系统MP^*是强完全的。由于由此表明，MP与MP^*既是一般完全的亦是强完全的。 |
| 关 键 词： | 中介命题逻辑系统 一般完全性 强完全性 |
| 本文献已被 CNKI 维普 等数据库收录！ | |