查询词典 weak completeness

The argument depends on the fact that functions which assign values to expressions are used in dealing with both the ontic and epistemic levels of the illocutionary system, and that in both cases, the functions provide the basis for establishing soundness and completeness results.

这一论证依赖于这样的事实，即表达式的赋值函项可被同时用于处理语力逻辑系统的本体和认知层面，在这两种情况下，这些函项都为建立恰当性和完全性的结果提供了基础。

Expanding this openhearted energy leads to the joyful feeling of unconditional love for ourselves as the wholeness and completeness of who we really are.

当我们打开心扉，让爱的能量不断扩展，我们就能够感觉到给予自己无条件的爱时那种喜悦感，就能够感觉到真正的自我的那种完整和完全。

In this paper,a new proof of equivalence to the original definition of the determinant is proposed in brief and completeness from another viewpoint.

本文从另一个角度给出一个比较简练完整的与原定义等价的证明。

Berta said this completeness will help scientists sort out the order in which key pinniped features appeared.

Berta称，这个完整度将帮助科学家弄清关键鳍足动物特征出现的先后顺序。

In particular, the authors' original formulation of Gdel's completeness proof for the predicate calculus has been updated.

尤其是，作者们哥德尔完备性证明原制定的谓词演算已被更新。

After this, American Logician Kurt Godel proved the completeness theory of predicate calculus. This means the completion of the base of Modern Logic.

之后，美籍逻辑学家歌德尔一阶谓词演算的完备性定理，这标志着现代逻辑基础部分的完成。

Although so,the research on weakening completeness axiomof preference relation is hardly found in touchable references.

主要集中于对Von Neumann-Morgenstern的独立性公理假设和偏好关系传递性假设方面的弱化，比如不要求独立性和传递性等，从而使新的行为公理假设既能够满足实际中人们的选择行为，同时又能满足规范理论的要求。

Based on the basic principle of reflection and transmission in the process of the propagation of logitudinal wave, this paper recounts a new theory and method for the application of pile body completeness inspection data with reflection wave method to the quantitative determination of apparent reflection coefficients and the round travelling time of reflection wave.

摘要从纵波传播过程的反射和透射的基本原理出发，介绍了反射法桩身完整性检测数据在频率域中定量确定视反射系数和反射波往返时间的一种新的理论和方法。

These completeness results further make a great improve on the lattice-valued propositional logic system LP .

这些研究结果进一步丰富和完善了格值命题逻辑系统LP。

We first provethe Bergman completeness for several class of non-smooth pseudoconvex domains.

我们首先证明了几类非光滑边界拟凸域的Bergman完备性；接着，我们研究超凸域上的Bergman度量。

Bob Eckert has been chairman and chief executive of Mattel for eight years.

美泰董事长兼首席执行官鲍勃·埃克尔特在任已8年。

The outlook for honors and disgraces carries on and surpasses the traditional outlook for honors and disgraces theoretically, and carries on and develops the theory of construction of socialist mora...

社会主义荣辱观的提出在理论上是对传统荣辱观的一次继承和超越，是对社会主义道德建设理论的继承和发展，在实践上有利于形成良好的社会风尚。