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

Theory of generalized tautology in subalgebras of RDP logical system

作　　者：于鸿丽[1] 吴洪博[2] 

机构地区：[1]西安文理学院数学系,西安710065 [2]陕西师范大学数学与信息科学学院,西安710062

出　　处：《计算机工程与应用》2011年第32期47-48,64,共3页Computer Engineering and Applications

基　　金：国家自然科学基金No.10871121;西安文理学院中青年科研基金(No.kyc201040)~~

摘　　要：将RDP逻辑系统中的广义重言式理论进行推广,给出RDP逻辑系统中子代数的广义重言式概念。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.

关 键 词：RDP逻辑系统 广义重言式 子代数 

分 类 号：O141.1[理学—数学]