L ( Q )格值模型的初等子模型

将带广义量词Q的一阶逻辑的二值弱模型推广到取值于完备弱可补格上.对有限的线性序弱可补格,讨论了关于L(Q)模型的初等子模型的一些性质,如强升和强降L-S-T定理,初等图像在初等扩充下的保持性等.