北京大学学报(自然科学版)
北京大學學報(自然科學版)
북경대학학보(자연과학판)
ACTA SCIENTIARUM NATURALIUM UNIVERSITATIS PEKINENSIS
2001年
5期
623-629
,共7页
广义量词%格值模型论%初等扩充
廣義量詞%格值模型論%初等擴充
엄의량사%격치모형론%초등확충
将带广义量词Q的一阶逻辑的二值弱模型推广到取值于完备弱可补格上.对有限的线性序弱可补格,讨论了关于L(Q)模型的初等子模型的一些性质,如强升和强降L-S-T定理,初等图像在初等扩充下的保持性等.
將帶廣義量詞Q的一階邏輯的二值弱模型推廣到取值于完備弱可補格上.對有限的線性序弱可補格,討論瞭關于L(Q)模型的初等子模型的一些性質,如彊升和彊降L-S-T定理,初等圖像在初等擴充下的保持性等.
장대엄의량사Q적일계라집적이치약모형추엄도취치우완비약가보격상.대유한적선성서약가보격,토론료관우L(Q)모형적초등자모형적일사성질,여강승화강강L-S-T정리,초등도상재초등확충하적보지성등.