摘要
将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.
出处
《计算机工程与应用》
CSCD
北大核心
2011年第32期47-48,64,共3页
Computer Engineering and Applications
基金
国家自然科学基金No.10871121
西安文理学院中青年科研基金(No.kyc201040)~~
