|
|||||
|
|
| 逻辑系统RDP中子代数的广义重言式理论 | |
| 作者姓名： | 于鸿丽 吴洪博 |
| 作者单位： | 1.西安文理学院 数学系,西安 7100652.陕西师范大学 数学与信息科学学院,西安 710062 |
| 基金项目： | 国家自然科学基金No.10871121; 西安文理学院中青年科研基金(No.kyc201040)~~ |
| 摘 要： | 将RDP逻辑系统中的广义重言式理论进行推广,给出RDP逻辑系统中子代数的广义重言式概念,并讨论其序稠密子代数的广义重言式理论 |
| 关 键 词： | RDP逻辑系统 广义重言式 子代数 |
| 修稿时间： | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |
| 点击此处可从《计算机工程与应用》浏览原始摘要信息 | |
| 点击此处可从《计算机工程与应用》下载全文 | |