逻辑

However, the view that the meaning could be certain can find its refuge in the theories of logical positivism.Quine, who knew logical positivism very well, made an expert and rigorous attack upon its vital points. As a result, the "criteria of synonymity" and the "reduction" were collapsed.

但意义确定论却能在逻辑经验主义中找到避难所，深谙逻辑经验主义的奎因自然直接把矛头指向了这座意义确定论最大堡垒的要害，对其"意义证实论"和"同义性标准"等理论发起了既内行又猛烈的攻击。

First of all, the clustering result is corresponding to the Kripke structure. The relevant system of axioms is chosen by the correspondence between the syntax and semantics of modal logic.

首先将聚类结果对应于模态逻辑中Kripke结构；然后利用模态逻辑中语法与语义之间的对应性选取了相应的公理系统。

Based on the works of Baader and Brandt, the hybrid reasoning of terminological cycles in description logic εL is further studied.

分析了描述逻辑循环术语集的研究现状和存在的问题，在Baader和Brandt的基础上进一步研究了描述逻辑εL循环术语集的混合推理问题。

The author depicts the necessity of adopting ternary logic in fault detection, with detailed introduction of the structure and operation principle for ternary logic fault detection circuit.

闸明了应用三值逻辑进行故障检测的必要性，较详细地介绍了三值逻辑故障检测电路的结构和工作原理。

This article writes from the theory "the unverification of value judgment " and its supporting reasons, contends for the rationality of the logic positivism which stands for the univerification of the value, and tries to reestablish the confidence on the possible meaning and effectiveness of the value verification through criticizing logic positivism's principle of verification and their reasons for the univerification of value judgments.

本文从"价值判断是不可证实的"这一论断的提出及其论证理由入手，检讨逻辑实证主义及其继承者关于价值判断是不可证实的这一理论的合理性，并通过对逻辑实证主义的可证实性原则及其否定价值判断可证实性的理由的批判，力图消解人们对价值判断可证实性的误解，重新确立对寻求价值判断意义和有效性的信心。

The theory of types was an important outcome of the development of Russell's philosophy and logic, and It is closely linked.

类型论是罗素逻辑主义和哲学思想发展的一个重要成果，是与其逻辑主义立场紧密联系在一起的。

We reduce the three valued logic model checking problem for modal transition system to the two valued model checking problem under Kripke structure.

提出了把模态转移系统转换成Kripke结构的算法以及三值逻辑公式转换成2个二值逻辑的算法，经过转换后可用现有的模型检验技术进行模型检验。

In this optoelectronic threshold logic design, the weighting process of the conventional threshold gate is innovated.

本文以简单的光电子回路实现了四种模糊逻辑操作，给出了一个多功能的可编程的光电子混合模糊逻辑门的设计。

A new energy recovery logic style (ERTL: energy recovery threshold logic) based on threshold logic is presented.

2通过把阈值逻辑应用在能量回收电路中，提出了一种新的电路形式－能量回收阈值逻辑电路（ ERTL ： energy recovery threshold logic ）。

Through exploring the internal logic interconnection among various key elements embedded in Berlin\'s body of thought, it summarizes the threshold logic underlining the following study of Berlin, i.e., the untiring efforts to defend the validity of liberalism under the superficial historic relevance. The basic structure of study based on this threshold logic is then outlined.

本文通过探析伯林思想体系中的各大要素之间的内在逻辑联系，论证了研究伯林所要围绕的逻辑主线，即伯林始终致力于捍卫自由主义原则的有效性，进而阐释了本文研究的基本理路。

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.

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