修正的RDP系统中的一种升级算法及其性质期刊界 All Journals 搜尽天下杂志传播学术成果专业期刊搜索期刊信息化学术搜索

修正的RDP系统中的一种升级算法及其性质

摘要：	通过对修正的RDP逻辑系统的研究,给出该系统中F(S)关于~同余的一个分划;并给出修正的RDP系统中广义重言式之间的一种升级算法及其性质,证明在修正的RDP系统中,重言式不可能由对非重言式进行有限次升级算法得到.
本文献已被 CNKI 等数据库收录！