The two-valued weak model of the first order logic with generalized quantifier Q is generalized to be valued in complete weak complemented lattices.For finite linearly-ordered weak complemented lattice, the omitting type theorem is proved.
英
美
- 將帶廣義量詞Q的一階邏輯的二值弱模型推廣到取值于完備弱可補格上，對有限的線(xiàn)性序弱可補格證明了省略型定理。
