G(o)del系统中一类子代数上的广义重言式理论
G(o)del계통중일류자대수상적엄의중언식이론
Theory of generalized tautology in class of subalgebras of G(o)del system
  • 万方数据
    计算机工程与应用 계산궤공정여응용
    COMPUTER ENGINEERING AND APPLICATIONS
    2010年 29期 56-57,62 ,共3页

    魏海新

    위해신

    G(o)del逻辑系统%广义重言式%子代数%分划 G(o)del邏輯繫統%廣義重言式%子代數%分劃
    G(o)del라집계통%엄의중언식%자대수%분화
    将G(o)del辑系统中的广义重言式理论进行推广,讨论了一类无限子代数上的广义重言式理论,并利用可达广义重言式的概念在G的标准子代数E0中给出F(S)关于 -同余的一个分划.
    장G(o)del집계통중적엄의중언식이론진행추엄,토론료일류무한자대수상적엄의중언식이론,병이용가체엄의중언식적개념재G적표준자대수E0중급출F(S)관우 -동여적일개분화.
    원문보기 원문다운로드 사이트로이동
저자의 최근 논문