计算机工程与应用 ›› 2011, Vol. 47 ›› Issue (32): 47-48.

• 研究、探讨 • 上一篇    下一篇

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

于鸿丽1,吴洪博2   

  1. 1.西安文理学院 数学系,西安 710065
    2.陕西师范大学 数学与信息科学学院,西安 710062
  • 收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2011-11-11 发布日期:2011-11-11

Theory of generalized tautology in subalgebras of RDP logical system

YU Hongli1,WU Hongbo2   

  1. 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
  • Received:1900-01-01 Revised:1900-01-01 Online:2011-11-11 Published:2011-11-11

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

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

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.

Key words: RDP logical system, generalized tautology, subalgebra