L（Q）格值模型的完全弱理论.pdf

第31卷第2期 淮北煤炭师范学院学报(自然科学版) Vo1．3l No．2 2010年6月 JournalofHuaibeiCoalIndustryTeachersCollege(NaturalScience) Jun．2010 (Q)格值模型的完全弱理论 梁娟英 ，陈国龙2 (1．安徽工贸职业技术学院社科基础部，安徽 淮南 232007；2．淮北师范大学计算机科学与技术学院，安徽 淮北 235000) 摘 要：对有限的线性序，文章证明了完全弱理论 和模型完全弱理论的一些等价条件，并给出了完全弱理论 的一 个判定定理． 关键词：格值弱模型；完全弱理论；初等等价 中图分类号：O144 文献标识码：A 文章编号：1672—7177(2010)02—0001—04 近年来，在知识状态领域，格值逻辑显示它广阔的应用前景 ．作为格值逻辑的一个方面，一阶逻辑的格 值模型论已有一系列的深入研究 ．Keisler定义了带广义量词 “Q”的一阶逻辑L(Q)的二值弱模型概念，并给 出了关于弱模型的一系列性质 ．对有限的线性序弱可补格上的L(Q)的格值模型理论也有了一系列的研 究 引，在此基础上，对有限的线性序弱可补格上的L(Q)的格值模型，本文证明完全弱理论 和模型完全 弱理论的一些等价条件，并给出了完全弱理论 的一个判定定理 ． 1 基本定义及符号 设L是一阶形式语言，在L中出现的逻辑符号只限于命题联结词]、^、V及量词 j、V．设 “Q”是一个 新的量词符号，令L(Q)为在L中加上量词 “Q”形成的语言，其中的公式的形成规则是在L的公式形成规则 中加上如下形成规则 (参见[1])：若 是公式，是一个个体变元，则 是公式 ． 令 是完备弱可补格，L是一阶形式语言，A是 格值模型，A是A的定义域，若 q∈2，即 q是 A的 幂集的一个子集，则称(A，q)是L(Q)的 格值弱模型，简称为L(Q)的弱模型．在本文中，L(Q)的弱模型 将取值于完备的弱可补格上 ． L(Q)中公式的自由(约束)变元、L(Q)中的句子等概念与L中相应概念类似定义(可参见 4【])． 设 是L(Q)的一个句子集，诸如 是一个理论 (分组句子集)、理论 的一个子理论 (扩充理论)、 L(Q)的一个弱模型 (A，q)为 三的弱模型 ((A，g)满足 )等概念与L情形下相应概念类似定义(可参见 [5】)． 定义 1 L(p)中一个理论 如果有弱模型，则称 是弱和谐的；如果 的每个有限子理论均有弱模 型，则称 是有限弱和谐理论 ． 我们还常在L加入0元谓词集 {PIA∈L}，对每个 A∈L，P在L(Q)的任意模型中的值都取为 A．当 然，p^(∈L)是一个原子公式 ． 定义 2 如果B是A的L扩充模型，q=rIA=(n4l∈r)，即 q是 r在 A中的限制，就称(B，r)是 (A，q)的L(0)扩充弱模型，记作(A，9) (B，r)，也称(A，9)是 (B，，)的L(Q)子弱模型 ． 定义 3 L(Q)的任意两弱模型 (A，q)，(B，r)，如果对L(Q)的任意句子 都有 I(．)= lfBl 则称 (A，q)与(B，r)初等等价，记作 (A，q)；(B，r)． 定义4 L(Q)的任意两弱模型(A，q)，(B，r)，称 (A，q)是 (B，r)的初等子弱模型，记作 (A，q)(B， 收稿 日期：2010—03～18 基金项目：教育部科学技术重点项 目(205074)；安徽省高校 自然科学项 目(2005KJ032ZD) 作者简介：梁娟英(1981一 )，女，安徽淮北人，硕士生，研究方向：数理逻辑 2 淮北煤炭师范学院学报 (自然科学版) 2010年 r)，当且仅当(A，g) (B，r)，且对任意公式 ( 勋，…，‰)∈L(Q)，任意 元组 ％ …，o仨A，有 【口l，a,2，…，口】I(^．口)= [口l，02，…，口】lIB．)． (：筘) 为书写简便，记 =(， ，…， )，口=(口-，口：，…，口)，这样公式 ( )可记