修正的G(o)del逻辑系统中子代数的广义重言式理论
수정적G(o)del라집계통중자대수적엄의중언식이론
Theory of generalized tautology in subalgebras of revised G(o)del logical system
  • 万方数据
    计算机工程与应用 계산궤공정여응용
    COMPUTER ENGINEERING AND APPLICATIONS
    2008年 36期 58-60,72 ,共4页

    李顺琴%王国俊

    리순금%왕국준

    修正的G(o)del逻辑系统%广义重言式%α-矛盾式%分划 脩正的G(o)del邏輯繫統%廣義重言式%α-矛盾式%分劃
    수정적G(o)del라집계통%엄의중언식%α-모순식%분화
    将修正的G(o)6del逻辑系统中的广义重言式理论进行推广,讨论其序稠密子代数的广义重言式理论,并利用可达广义重言式概念和α-矛盾式概念在G-的序稠密子代数中给出F(S)关于┓同余的一个分划.
    장수정적G(o)6del라집계통중적엄의중언식이론진행추엄,토론기서주밀자대수적엄의중언식이론,병이용가체엄의중언식개념화α-모순식개념재G-적서주밀자대수중급출F(S)관우┓동여적일개분화.
    원문보기 원문다운로드 사이트로이동
저자의 최근 논문