模态逻辑中转换结构的局限性

针对Sally Porkom运用模态语言分析加标转换结构,利用加标转换结构所支持的语义证明许多形式逻辑系统是完全的,找到一个不具有克里普克完全性的系统,证明关系语义不足以刻画所有的模态逻辑的问题.利用构造的方法,给出两个系统KY和KZ,虽然这两个系统无法用关系语义进行区分,但利用一般框架可知KY和KZ是有区别的.KY和KZ证明了在加标转换结构和模态系统之间有一些不相符合的地方,具有一定的局限性.     

乘积分布族完全性的一个充分条件

本文提出了一个新的乘积分布族完全性的充分条件:定理 设(i)(P_θ,θ∈T)关于(T,B_T,μ)是严格完全的:(ii)任意B∈B_X,P_θ(B)是B_X-可测的;(iii)任意θ∈T,分布族(P_(0,θ~*),θ~*∈T~*)是完全的;(iv)P(θ_1,θ~*)≡P(θ_2,θ~*)(θ_1,θ_2∈T,θ~*∈T~*)则(P_θ×P_(θ,θ~*),θ∈T,θ~*∈T~*)是完全的.它是已有结果的一个推广.     

态迭加原理与本征函数的完全性假设

本文讨论了态迭加原理和本征函数完全性假设二者的关系,认为它们是两个相容的独立原理,说其中之一为另一个的特殊情况是不妥的.     

形式演绎系统的完全性定理

<正> 设k是用不带等词的可数一阶语言L表述的形式演绎系统,作为形式系统,k是纯粹的语法对象,其中的推演(deduction)出现为无意义的仅仅遵循一定语法规则的公式演算形态,但在本质上,k是逻辑演绎系统,应该满足逻辑语义学的要求:k的公理模式提供的公理应是逻辑有效的,k的推演规则应是保真的,k中的推演应是演绎另一方面,演绎理论也不可能绝对孤立地构造自身的系统,它与归纳理论也有不可分割的联系,本文主要目的就是基于这种关系与联系改进Henkin对Godel完全性定理的证明。     

关于数学中的不可判定命题

本文首先从数学基础的有关概念谈起,介绍了数理逻辑中的一个重要定理——Godel不完全性定理。该定理揭示了在一个相容形式系统中存在着不可判定的命题。接着,给出了三个不可判定的命题的例子。     

完全性肺静脉异位引流的外科治疗

总结7例完全性肺静脉异位引流的外科治疗经验;对兰州大学第一医院自2004年12月-2007年12月收治的7例完全性肺静脉异位引流患者（均为心上型）外科治疗方面的经验进行总结,手术无死亡,术后出现心律失常3例,急性肺水肿3例,肺部感染1例,经内科保守治疗均治愈;早期采用经左房顶部进路方法纠治心上型完全性肺静脉异位引流,可以取得较好效果。     

信念逻辑的更新模型

刻画信念逻辑的关系语义模型中的关系缺乏直观的解释,更新模型用合理性可以给信念逻辑提供一个更直观的解释。更新模型用动态的更新语义刻画信念算子。用有穷模型的方法证明信念逻辑相对于更新语义是框架可靠的和框架完全的。     

关于广义导算子的完全性

本文讨论我们在[5]中所建立的两类广义导算子的完全性问题,有关的定义和符号均取自上文。我们给出了Frechet广义导算子GF(x_0)与Clarke广义导算子αF(x_0)完全的某些性质,同时讨论了这两类导算子完全的某些特殊条件。十分遗憾的是我们还没有得出有关完全性的充分必要条件,这只能有待于今后的进一步工作。     

完全性大动脉转位11例SWITCH术后护理

目的 探讨完全性大动脉转位患儿大动脉转位术（switch术）术后护理措施和要点。方法 总结11例完全性大动脉转位患儿switch术护理经验。结果 3例发生低心排,其中1例继发肾衰后死亡。术后发生房室传导阻滞3例,肺动脉危象2例,延迟关胸6例,治疗后痊愈,无护理并发症发生。结论 加强完全性大动脉转位患儿switch术后护理对于手术的成败和减少并发症的发生具有重要意义。     

论形式系统的多样性

形式系统在类型上包括公理系统和自然推理系统,在构成要件上包括的形式语言和演绎装置.构造者的哲学背景、构造形式系统的理论对象和目的不同,所采用的形式语言和演绎装置就可能不同,因而,构造出来的形式系统就多种多样,在不同的系统内证明同一个定理也表现为不同的公式系列.形式系统的形式语言和演绎装置为我们界定了形式证明的工具、出发点和依据,同时语义也包含了构造者构造形式系统的理论对象和目的,离开具体的形式系统去谈论或者证明一个定理,将会导致逻辑的失范.     

关于完备性与压缩映射原理的一个注记

证明在道路连通的度量空间中压缩性质不一定能推出通常的完备性,但可以推出K、Lips-chitz完备性。进一步给出在upschitz-连通的度量空间具有压缩性质的充分必要条件是空间具有upschitz完备性。     

关于BCK代数的模型论性质

研究BCK代数的逻辑性质,对于形式化的BCK代数理论T,证明了在子模型和链连接下T是保存的;T既不具有完备性也不具有模型完备性,因此存在非构建的Skolem函数.另外,通过使用超滤子的概念以及所讨论的模糊理想的相应的性质,提出了超积BCK代数和BCK代数模糊子集的模糊超积.     

基于正规剩余格的一个逻辑系统及其完备性

在模糊逻辑中,基于剩余格的逻辑系统起着非常重要的作用.本文提出一种新的代数结构,叫做正规剩余格,研究这种剩余格的性质和结构,建立基于正规剩余格的统一的逻辑系统,许多重要的逻辑系统是这个系统的扩张.进一步,本文还讨论了这个系统关于建立在正规剩余格上语义的完备性.     

基于Jost解完备关系导出Marchenko方程新方法

本文给出了基于Ｊｏｓｔ解完备关系导出一维Ｍａｒｃｈｅｎｋｏ方程的新方法，迄今为止，Ｍａｒｃｈｅｎｋｏ方程的推导都是基于Ｊｏｓｔ解的解析性质，而这种推导不适用于工程中实用的逆散射问题，本文还讨论了逆射散问题与正散射问题解完备性间关系，指出正散射解完备性公式中包含有决定逆散射问题的全部散射信息。     

计量逻辑学中的形式化推演方法

基于经典逻辑系统中的计量逻辑学,探讨了计量逻辑学中的形式化推理问题.结果表明,在注重数值计算的计量逻辑学中同样存在类似于语构理论的形式化推演方法,并给出了形式化推演的性质.     

Visual FoxPro的数据完整性机制及应用

如何保证数据库系统的数据完整性是数据库系统的一个重要课题．本文探讨了Visual FoxPro的数据完整性机制及其应用．     

极端性转移、启发式、社会称许性对职务信息完整性的影响

研究通过2×3×2组间实验设计,探讨极端性转移、启发式和社会称许性对职务信息完整性的影响。多因素方差分析结果表明：a) 极端性转移对职务信息完整性的影响取决于极端性转移程度,高社会称许性条件下极端性转移导致职务信息不完整;b) 启发式策略导致不完整的职务信息,激发内部动机的同时提供典型职务信息,可促使被试进行系统化加工;c) 社会称许性是极端性转移和启发式与职务信息完整性关系的调节变量。     

Yoneda 完备度量空间范畴的完备性和余完备性

该文章探讨了以 Yoneda 完备度量空间为对象的范畴的完备性和余完备性. 证明了若态射是 Yoneda 连续映射或者 Yoneda 连续的非扩张映射, 则该范畴是完备且余完备的; 若态射是 Yoneda 连续的 Lipschitz 映射, 则该范畴是有限完备和有限余完备的, 但是它既不完备也不余完备. 最后证明了以实数值连续格为对象, Yoneda 连续的右伴为态射的范畴是完备的.     

关于形式系统(L)*(强)完备性证明的注记

考察了形式系统L*完备性的现有证明过程，并对其中所涉及的R0代数同构问题进行了研究，分析了关于L*系统强完备性证明中的错误并给出了一个全新的修正证明．讨论了单位区间[0，1]上全序R0代数的非运算与强否定的一致性，给出了强否定表示定理的一个等价刻画，并对基于不同强否定且蕴含算子为R0算子的无穷值逻辑系统之上的广义重言式进行了考察，得到了公式集F(S)基于不动点的一类新的分划．     

BL_Δ~*系统的完备性

研究了BL*系统和BR0-代数.首先在BL*系统的基础上添加了一元逻辑连接词Δ,得到BL*系统的一种模式扩张BL*Δ系统,随后提出了ΔBR0-代数的概念,其次研究了ΔBR0-代数中的Δ-滤子及其性质,最后证明了BLΔ*系统的完备性,给出了BLΔ*系统的广义演绎定理.