| 逻辑系统RDP中子代数的广义重言式理论 |
| |
| 引用本文： | 于鸿丽,吴洪博.逻辑系统RDP中子代数的广义重言式理论[J].计算机工程与应用,2011,47(32):47-48. |
| |
| 作者姓名： | 于鸿丽 吴洪博 |
| |
| 作者单位： | 1. 西安文理学院数学系,西安,710065
2. 陕西师范大学数学与信息科学学院,西安,710062 |
| |
| 基金项目： | 国家自然科学基金No.10871121; 西安文理学院中青年科研基金(No.kyc201040)~~ |
| |
| 摘 要： | 将RDP逻辑系统中的广义重言式理论进行推广，给出RDP逻辑系统中子代数的广义重言式概念，并讨论其序稠密子代数的广义重言式理论
|
| 关 键 词： | RDP逻辑系统 广义重言式 子代数 |
| 修稿时间： | |
Theory of generalized tautology in subalgebras of RDP logical system |
| |
| YU Hongli,WU Hongbo.Theory of generalized tautology in subalgebras of RDP logical system[J].Computer Engineering and Applications,2011,47(32):47-48. |
| |
| Authors: | YU Hongli WU Hongbo |
| |
| Affiliation: | 1.Department of Mathematics,Xi’an University of Arts and Science,Xi’an 710065,China 2.College of Mathematics and Information Science,Shaanxi Normal University,Xi’an 710062,China |
| |
| Abstract: | The theory of generalized tautology in RDP logical system is extended,the concept of generalized tautology of sub-algebras in RDP is given,and the theory of generalized tautology in order dense sub-algebras of RDP logical system is considered in this paper. |
| |
| Keywords: | RDP logical system generalized tautology subalgebra
|
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程与应用》浏览原始摘要信息 |
|
点击此处可从《计算机工程与应用》下载全文 |
