|
|||||
|
|
| 修正的RDP逻辑系统中的广义重言式理论 | |
| 作者姓名： | 李顺琴 惠小静 |
| 作者单位： | 延安大学数学与计算机科学学院 |
| 基金项目： | 国家自然科学基金(11471007);陕西省自然科学基金(2014JM1020);陕西省科技计划社发攻关项目(2014ks15-03-07) |
| 摘 要： | 提出修正的RDP逻辑系统,并证明了此系统中的广义重言式有更加精细的区分。利用广义重言式概念得到公式集F(S)的一个分划,建立了修正的RDP逻辑系统中的各类广义语义MP规则与广义语义HS规则。 |
| 关 键 词： | 修正的RDP逻辑系统 广义重言式 广义语义MP规则 广义语义HS规则 分划 |
| 本文献已被 CNKI 等数据库收录！ | |