逻辑系统 <em>H<sub>α</sub></em>中广义语义MP规则证明的改进

逻辑系统 H_α中广义语义MP规则证明的改进

于鸿丽 ¹，吴洪博 ²

Improvement in proving generalized semantic MP rule of H_α logic system

YU Hong-li ¹，WU Hong-bo ²

计算机工程与应用 . 2010, (22): 52 -53 . DOI: 10.3778/j.issn.1002-8331.2010.22.018