逻辑系统RDP中子代数的广义重言式理论
라집계통RDP중자대수적엄의중언식이론
Theory of generalized tautology in subalgebras of RDP logical system
  • 万方数据
    计算机工程与应用 계산궤공정여응용
    COMPUTER ENGINEERING AND APPLICATIONS
    2011年 32期 47-48,64 ,共3页

    于鸿丽%吴洪博

    우홍려%오홍박

    RDP逻辑系统%广义重言式%子代数 RDP邏輯繫統%廣義重言式%子代數
    RDP라집계통%엄의중언식%자대수
    将RDP逻辑系统中的广义重言式理论进行推广,给出RDP逻辑系统中子代数的广义重言式概念,并讨论其序稠密子代数的广义重言式理论.
    장RDP라집계통중적엄의중언식이론진행추엄,급출RDP라집계통중자대수적엄의중언식개념,병토론기서주밀자대수적엄의중언식이론.
    원문보기 원문다운로드 사이트로이동
저자의 최근 논문