m+1阶波斯特代数公理化的讨论
m+1계파사특대수공이화적토론
The discussion of postile's algebra of (m+1)th-order
  • 万方数据
    潍坊学院学报 유방학원학보
    JOURNAL OF WEIFANG UNIVERSITY
    2002年 2期 20-23 ,共4页

    黄廷章

    황정장

    逻辑%子链%分配格%二元运算 邏輯%子鏈%分配格%二元運算
    라집%자련%분배격%이원운산
    本文对m+1阶波斯特代数进行了公理化的讨论,通过讨论,清楚地看到了m+1阶逻辑代数具有代数的可靠性定理和完全性定理.
    본문대m+1계파사특대수진행료공이화적토론,통과토론,청초지간도료m+1계라집대수구유대수적가고성정리화완전성정리.
    원문보기 원문다운로드 사이트로이동
저자의 최근 논문