修正的RDP逻辑系统中子代数的广义重言式理论

作者：李顺琴; 惠小静

来源：计算机工程与应用, 2015, 51(12): 49-106.

• 修正的RDP逻辑系统
• 广义重言式
• α-矛盾式
• 子代数
• 分划

讨论了修正的RDP逻辑系统中序稠密子代数的广义重言式理论,并利用可达广义重言式概念和α-矛盾式概念在RDP的序稠密子代数中给出F(S)关于~同余的一个分划。