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

    李顺琴%惠小静

    리순금%혜소정

    修正的RDP逻辑系统%广义重言式%α-矛盾式%子代数%分划 脩正的RDP邏輯繫統%廣義重言式%α-矛盾式%子代數%分劃
    수정적RDP라집계통%엄의중언식%α-모순식%자대수%분화
    revised RDP logical system%generalized tautology%α-contradiction%subalgebra%partition
    讨论了修正的RDP逻辑系统中序稠密子代数的广义重言式理论，并利用可达广义重言式概念和α-矛盾式概念在----RDP的序稠密子代数中给出F(S)关于同余的一个分划。
    토론료수정적RDP라집계통중서주밀자대수적엄의중언식이론，병이용가체엄의중언식개념화α-모순식개념재----RDP적서주밀자대수중급출F(S)관우동여적일개분화。
    The theory of generalized tautology in order dense sub-algebras of the revised RDP logical system is considered. Congruence partitions abouton F(S) have been given in order dense sub-algebras of logic system ----RDP by utilizing the concepts of accessible generalized tautology and α-contradiction.
    원문보기 원문다운로드 사이트로이동
저자의 최근 논문