修正的G(o)del系统的子代数中F(S)的分划及升级算法
수정적G(o)del계통적자대수중F(S)적분화급승급산법
Partitions of F(S) and properties of its upgrade algorithm in subalgebras of revised G(o)del system
  • 万方数据
    计算机工程与应用 계산궤공정여응용
    COMPUTER ENGINEERING AND APPLICATIONS
    2012年 26期 44-47 ,共4页

    魏海新%李晨晖

    위해신%리신휘

    修正的G(o)del系统%广义矛盾式%子代数%分划 脩正的G(o)del繫統%廣義矛盾式%子代數%分劃
    수정적G(o)del계통%엄의모순식%자대수%분화
    将修正的G(o)del逻辑系统中广义矛盾式理论推广,讨论了修正的G(o)del逻辑系统中一类子代数上的广义矛盾式理论,进而在相应的子代数上给出了公式集F(S)的一种分划.
    장수정적G(o)del라집계통중엄의모순식이론추엄,토론료수정적G(o)del라집계통중일류자대수상적엄의모순식이론,진이재상응적자대수상급출료공식집F(S)적일충분화.
    원문보기 원문다운로드 사이트로이동
저자의 최근 논문