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

摘要：

将RDP逻辑系统中的广义重言式理论进行推广,给出RDP逻辑系统中子代数的广义重言式概念,并讨论其序稠密子代数的广义重言式理论.

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

所属期刊栏目：47

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

资助基金：国家自然科学基金the National Natural Science Foundation of China under Grant 10871121;西安文理学院中青年科研基金kyc201040

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

页数：共3页

页码：47-48,64