修正的RDP逻辑系统中的广义矛盾式

摘要：

讨论了修正的RDP逻辑系统中的广义矛盾式，并对该系统中的广义矛盾式进行了分划；给出了修正的RDP逻辑系统中的广义矛盾式之间的一种降级算法并讨论了它的性质。

关键词：修正的RDP逻辑系统、广义重言式、广义矛盾式、降级算法、分划

分类号：O141.1(数理逻辑、数学基础)

资助基金：陕西省自然科学基金No.2014JM1020；陕西省科技计划社发攻关项目No.2014ks15-03-07；延安市科技计划项目No.2013ks-03；延安大学自然科学专项基金No.YDQ2014-45。

在线出版日期：2015-06-18（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：50-54