共查询到20条相似文献,搜索用时 187 毫秒
1.
模型是研究正规命题模态系统的一个重要工具,系统的可靠性与完全性证明都离不开模型。系统MV的可靠性证明,就是证明它的定理在"所有可能世界要么自身是死点,要么至少可及一个死点的所有模型中"都有效。关于MV的完全性证明,借助了典范模型的方法,典范模型是证明系统完全性的一个十分有效的手段。任何正规系统相对于它的典范模型都是完全的,在MV的典范模型中的所有可能世界要么自身是一个死点,要么至少可及一个死点,由此可得MV相对于所有可能世界要么自身是一个死点,要么至少可及一个死点的模型类是完全的。 相似文献
2.
董英东 《辽宁工程技术大学学报(自然科学版)》2014,(2)
针对Sally Porkom运用模态语言分析加标转换结构,利用加标转换结构所支持的语义证明许多形式逻辑系统是完全的,找到一个不具有克里普克完全性的系统,证明关系语义不足以刻画所有的模态逻辑的问题.利用构造的方法,给出两个系统KY和KZ,虽然这两个系统无法用关系语义进行区分,但利用一般框架可知KY和KZ是有区别的.KY和KZ证明了在加标转换结构和模态系统之间有一些不相符合的地方,具有一定的局限性. 相似文献
3.
王文值 《西南师范大学学报(自然科学版)》1991,16(2):183-186
本文提出了一个新的乘积分布族完全性的充分条件:定理 设(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~*)是完全的.它是已有结果的一个推广. 相似文献
4.
本文讨论了态迭加原理和本征函数完全性假设二者的关系,认为它们是两个相容的独立原理,说其中之一为另一个的特殊情况是不妥的. 相似文献
5.
陈有何 《江汉大学学报(自然科学版)》1988,(1)
<正> 设k是用不带等词的可数一阶语言L表述的形式演绎系统,作为形式系统,k是纯粹的语法对象,其中的推演(deduction)出现为无意义的仅仅遵循一定语法规则的公式演算形态,但在本质上,k是逻辑演绎系统,应该满足逻辑语义学的要求:k的公理模式提供的公理应是逻辑有效的,k的推演规则应是保真的,k中的推演应是演绎另一方面,演绎理论也不可能绝对孤立地构造自身的系统,它与归纳理论也有不可分割的联系,本文主要目的就是基于这种关系与联系改进Henkin对Godel完全性定理的证明。 相似文献
6.
本文首先从数学基础的有关概念谈起,介绍了数理逻辑中的一个重要定理——Godel不完全性定理。该定理揭示了在一个相容形式系统中存在着不可判定的命题。接着,给出了三个不可判定的命题的例子。 相似文献
7.
8.
郭向阳 《重庆工商大学学报(自然科学版)》2013,(9):32-35,63
刻画信念逻辑的关系语义模型中的关系缺乏直观的解释,更新模型用合理性可以给信念逻辑提供一个更直观的解释。更新模型用动态的更新语义刻画信念算子。用有穷模型的方法证明信念逻辑相对于更新语义是框架可靠的和框架完全的。 相似文献
9.
姚庆六 《西北师范大学学报(自然科学版)》1983,(2)
本文讨论我们在[5]中所建立的两类广义导算子的完全性问题,有关的定义和符号均取自上文。我们给出了Frechet广义导算子GF(x_0)与Clarke广义导算子αF(x_0)完全的某些性质,同时讨论了这两类导算子完全的某些特殊条件。十分遗憾的是我们还没有得出有关完全性的充分必要条件,这只能有待于今后的进一步工作。 相似文献
10.
郭群凤 《湘南学院学报(自然科学版)》2008,(1):56-57
目的 探讨完全性大动脉转位患儿大动脉转位术(switch术)术后护理措施和要点。方法 总结11例完全性大动脉转位患儿switch术护理经验。结果 3例发生低心排,其中1例继发肾衰后死亡。术后发生房室传导阻滞3例,肺动脉危象2例,延迟关胸6例,治疗后痊愈,无护理并发症发生。结论 加强完全性大动脉转位患儿switch术后护理对于手术的成败和减少并发症的发生具有重要意义。 相似文献
11.
向淑文 《贵州大学学报(自然科学版)》2004,21(2):111-112,143
证明在道路连通的度量空间中压缩性质不一定能推出通常的完备性,但可以推出K、Lips-chitz完备性。进一步给出在upschitz-连通的度量空间具有压缩性质的充分必要条件是空间具有upschitz完备性。 相似文献
12.
研究BCK代数的逻辑性质,对于形式化的BCK代数理论T,证明了在子模型和链连接下T是保存的;T既不具有完备性也不具有模型完备性,因此存在非构建的Skolem函数.另外,通过使用超滤子的概念以及所讨论的模糊理想的相应的性质,提出了超积BCK代数和BCK代数模糊子集的模糊超积. 相似文献
13.
裴道武 《淮阴师范学院学报(自然科学版)》2002,1(1):6-12
在模糊逻辑中,基于剩余格的逻辑系统起着非常重要的作用.本文提出一种新的代数结构,叫做正规剩余格,研究这种剩余格的性质和结构,建立基于正规剩余格的统一的逻辑系统,许多重要的逻辑系统是这个系统的扩张.进一步,本文还讨论了这个系统关于建立在正规剩余格上语义的完备性. 相似文献
14.
基于Jost解完备关系导出Marchenko方程新方法 总被引:1,自引:1,他引:0
陆振球 《南开大学学报(自然科学版)》1996,29(2):9-17
本文给出了基于Jost解完备关系导出一维Marchenko方程的新方法,迄今为止,Marchenko方程的推导都是基于Jost解的解析性质,而这种推导不适用于工程中实用的逆散射问题,本文还讨论了逆射散问题与正散射问题解完备性间关系,指出正散射解完备性公式中包含有决定逆散射问题的全部散射信息。 相似文献
15.
如何保证数据库系统的数据完整性是数据库系统的一个重要课题.本文探讨了Visual FoxPro的数据完整性机制及其应用. 相似文献
16.
于鹏 《宁夏大学学报(自然科学版)》2014,(3):209-211
基于经典逻辑系统中的计量逻辑学,探讨了计量逻辑学中的形式化推理问题.结果表明,在注重数值计算的计量逻辑学中同样存在类似于语构理论的形式化推演方法,并给出了形式化推演的性质. 相似文献
17.
研究通过2×3×2组间实验设计,探讨极端性转移、启发式和社会称许性对职务信息完整性的影响。多因素方差分析结果表明:a) 极端性转移对职务信息完整性的影响取决于极端性转移程度,高社会称许性条件下极端性转移导致职务信息不完整;b) 启发式策略导致不完整的职务信息,激发内部动机的同时提供典型职务信息,可促使被试进行系统化加工;c) 社会称许性是极端性转移和启发式与职务信息完整性关系的调节变量。 相似文献
18.
陈金鑫 《四川大学学报(自然科学版)》2020,57(2):205-210
该文章探讨了以 Yoneda 完备度量空间为对象的范畴的完备性和余完备性. 证明了若态射是
Yoneda 连续映射或者 Yoneda 连续的非扩张映射, 则该范畴是完备且余完备的; 若态射是
Yoneda 连续的 Lipschitz 映射, 则该范畴是有限完备和有限余完备的, 但是它既不完备也不余完备. 最后证明了以实数值连续格为对象, Yoneda 连续的右伴为态射的范畴是完备的. 相似文献
19.
考察了形式系统L*完备性的现有证明过程,并对其中所涉及的R0代数同构问题进行了研究,分析了关于L*系统强完备性证明中的错误并给出了一个全新的修正证明.讨论了单位区间[0,1]上全序R0代数的非运算与强否定的一致性,给出了强否定表示定理的一个等价刻画,并对基于不同强否定且蕴含算子为R0算子的无穷值逻辑系统之上的广义重言式进行了考察,得到了公式集F(S)基于不动点的一类新的分划. 相似文献
20.
吴洪博 《吉首大学学报(自然科学版)》2009,(6)
研究了BL*系统和BR0-代数.首先在BL*系统的基础上添加了一元逻辑连接词Δ,得到BL*系统的一种模式扩张BL*Δ系统,随后提出了ΔBR0-代数的概念,其次研究了ΔBR0-代数中的Δ-滤子及其性质,最后证明了BLΔ*系统的完备性,给出了BLΔ*系统的广义演绎定理. 相似文献