逻辑

The systematic, formal, axiomatic development of the logic of all forms and models of being.

事物的所有表示和模型的逻辑的，系统的，正式的，和公理性的开发。

The theory of quantum logic, which has developed during the course of the mathematical axiomatization of the quantum theory, is copious, with a history of 80 years.

量子逻辑是伴随着量子理论的数学公理化而发展起来的一种理论，有着80年的历史和丰富的内容。

We present a complete axiomatization of ADL and discuss its application to knowledge representation in multicriteria decision analysis and social network analysis.

我们提出一种矢决策逻辑的公设化系统，证明其完备性，并展现其在多准则决策分析与社交网路分析上的应用。

An axiomatization of the object calculus as an extension of the axiom system of the trace calculus is also contributed in this paper.

作为逻辑系统，文章还讨论了对象演算的公理化，它是Trace演算公理系统的扩充。

The theory of quantum logic, which has developed during the course of themathematical axiomatization of the quantum theory, is copious, with a historyof 80 years.

伴随着量子理论的数学公理化而发展起来的量子逻辑理论，已有八十年历史和丰富内容。

To verify the properties of the concurrent and reactive systems based on the theorem proving approach, an axiomatization is formulized for the first order projection temporal logic.

为了采用定理证明的方法对并发及交互式系统进行验证，提出了一阶投影时序逻辑的公理系统。

Projection temporal logic ; axiomatization ; formal methods ; verification

投影时序逻辑；公理系统；形式化方法；验证

Secondly, by using multimodal propositional logic, we axiomatize AKRL and prove soundness, completeness, and finite model property of AKRL.

在AKRL完备性的证明中，指出了AKRL在表示情境的对象性方面的困难，从而论证了用表达能力更强的逻辑系统来分析研究类比知识表示系统的必要性。

Fourthly, my paper proposes a new axiom system, which is made from forty axioms and two rules.

第四，本文提出了新的认证逻辑公理系统。

B-complex vitamins serve a wide range of important metabolic functions and prevent some diseases.

借助被选项中出现的逻辑词判断空格前句可能的语意。

I didn't watch TV last night, because it .

昨晚我没有看电视，因为电视机坏了。

Since this year, in a lot of villages of Beijing, TV of elevator liquid crystal was removed.

今年以来，在北京的很多小区里，电梯液晶电视被撤了下来。