( )(Q)格值模型的省略型定理
( )(Q)격치모형적성략형정리
The Omitting Type Theorem in Lattice-valued Model Theory of ( ) ( Q )
  • 万方数据
    北京大学学报(自然科学版) 북경대학학보(자연과학판)
    ACTA SCIENTIARUM NATURALIUM UNIVERSITATIS PEKINENSIS
    1999年 3期 409-413 ,共5页

    王捍贫%谢惠扬

    왕한빈%사혜양

    广义量词%格值模型论%省略型定理 廣義量詞%格值模型論%省略型定理
    엄의량사%격치모형론%성략형정리
    将带广义量词Q的一阶逻辑的二值弱模型推广到取值于完备弱可补格上,对有限的线性序弱可补格证明了省略型定理.
    장대엄의량사Q적일계라집적이치약모형추엄도취치우완비약가보격상,대유한적선성서약가보격증명료성략형정리.
    원문보기 원문다운로드 사이트로이동
저자의 최근 논문