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

摘要：

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

关键词：修正的RDP逻辑系统、广义重言式、α-矛盾式、子代数、分划

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

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

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

页数：共5页

页码：49-52,106