逻辑

Dynamic epistemic logic,rised in recent years,is a non-classical logic.

动态认知逻辑是近年兴起的非经典逻辑，是一个相对比较新的研究领域。

Programmable fuzzy logic controller ; Evolvable hardware ; Genetic algorithm ; Fuzzy logic

可编程模糊逻辑控制器；演化硬件；遗传算法；模糊逻辑

This abstract model and the existability rules derived from it can be used to form an ODP system, and also can be used for the implementation of trading function.

本文分析了交互及交互点的基本性质，并使用Petri网系统、模态逻辑和多值逻辑技术定义了交互的基本同步模型和基本异步模型，并将它们推广到双向和多向交互的情形。

On the contrary, logic programming languages, based on Horn clause logic and resolution, allow existentially quantified variables and partial data structures but lack both deterministic evaluation and lazy evaluation.

相反，基于HORN子句逻辑和消解原理的逻辑程序设计语言允许存在量化的变量和部分数据结构但又缺少确定和懒惰求解的性质。

Along the research line opened by David Bohm, this article reveals that thought is the adjustment of mind by nature and society, whose operations take the logical form opposite of metaphysics, and the underlying free mind aims at to seek satisfaction according to the principle of pleasure, whoseoperations take metaphysical, imaginational and non-logical form.

洪定国 本文遵循戴维·玻姆所开拓的研究路线，揭示思想是心灵被自然与社会的调制，采取形下的逻辑运作形式；深层的自由心灵按愉悦原则以追求满足与和谐为目的，采取形上的、想象的非逻辑运作形式。

At the basic of knowledge implication propositional logic, a system of knowledge implicational model prepositional logic system has been built. It can describe inference mechanism of inconsistent knowledge system which includes in modal information.

在知识蕴涵命题逻辑的基础上，构建了一个知识蕴涵模态命题逻辑系统，它可以描述包含模态信息的不协调知识系统的推理机制。

The clearest exposition of the principles of sexual division of labour across the full range of human societies can be summarised by a large number of logically complementary implicational constraints of the following form: if women of childbearing ages in a given community tend to do X (e.g., preparing soil for planting ) they will also do Y (e.g., the planting) while for men the logical reversal in this example would be that if men plant they will prepare the soil.

明晰性原则论述分工各地可全部人类社会概述了一大批配套蕴涵逻辑约束格式如下：如果育龄妇女在特定的社会趋向做x，他们也会做y，而男人的逻辑颠倒，在这个例子是，如果男性厂他们将编写的土壤。

The systematic description of the syntax and semantics of natural language in MG is very difficult to be axiomized because of the complexity of natural language, but the Intensional Logic of MG can be constructed into an axiomized system.

MG的自然语言部分语句系统不专注于逻辑有效推理形式的刻划，但它对句子的逻辑结构及语义特征的分析有助于对自然语言推理中的复杂性的理解。

Through the intensional interpretation, first-order language gets more close to the semantics of natural lan guage, and is truly neutral to all kinds of subject matter.

比之于外延语义的解释，内涵语义的解释使一阶语言更接近于自然语言的语义，而且也使一阶逻辑对各种题材真正保持了逻辑的中立性。

As a result, when in , subset of MA, obtained by imposing constraints on MA, AL is intensional because =L is equivalent with ≡.

在考虑了复制操作和限制操作的情况下，提出了逻辑等价的协归纳操作描述，并利用协归纳关系与进程结构同余关系进行比较，证明了若对MA加上约束条件得到子集MAsynIF，此时逻辑等价与结构同余关系是等价的，即AL在MAsynIF中是内涵的。

This one mode pays close attention to network credence foundation of the businessman very much.

这一模式非常关注商人的网络信用基础。

Cell morphology of bacterial ghost of Pasteurella multocida was observed by scanning electron microscopy and inactivation ratio was estimated by CFU analysi.

扫描电镜观察多杀性巴氏杆菌细菌幽灵和菌落形成单位评价遗传灭活率。