|
修正的RDP逻辑系统中的广义重言式理论
|
|
|
| 【文章作者】李顺琴;惠小静; |
| 【文章摘要】 提出修正的RDP逻辑系统,并证明了此系统中的广义重言式有更加精细的区分。利用广义重言式概念得到公式集F(S)的一个分划,建立了修正的RDP逻辑系统中的各类广义语义MP规则与广义语义HS规则。 |
| 【关 键 字】修正的RDP逻辑系统;;广义重言式;;广义语义MP规则;;广义语义HS规则;;分划 |
|
【期刊】济南大学学报(自然科学版)【卷】【ISSUE】【ISSUEID】
【文章期份】2015
【发布日期】2015/3/24 0:00:00
点击率：1
打印
关闭
|
|