逻辑上的

In this paper, we propose that legal argument is essentially plausible, defeasible, and nonmonotonic and show that the criteria for evaluating legal argument are deductive validity, inductive strength, and plausibility.

本文从广义的逻辑观出发，提供了法律论证本质上是似真的、可废止的和非单调的，进而提出了法律逻辑的评价标准是演绎有效性、归纳强度和似真性。

On the basis of the study on the mathematical model of the closed-loop location control, the analysis of contour error in the process motion control and error calculation model, according to the lack of using normal contour error model not to calculate contour error of curve in real-time, combining real-time contour error compensation control strategy and fuzzy logic theory, the fuzzy logic and real-time contour error calculation based self-discipline control strategy is proposed.

2在研究闭环位置控制数学模型、加工轮廓运动控制中的误差分析和轮廓误差计算模型的基础上，针对利用一般运动轮廓误差计算模型不能实时计算出曲线轮廓误差的不足，结合实时轮廓误差补偿控制策略和模糊逻辑理论，研究了基于模糊逻辑理论和实时误差计算的轮廓自律控制策略。

At the base of first order predicate logic this paper construct a strategy logic reasoning machine model, and discuss the correctness of this model.

在谓词逻辑的基础上构造了一个基于策略逻辑的推理机模型，并对模型的正确性做了讨论。

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

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

In order to solve the limitations of the first-order logic,the existing formalismseither extend the range of truth value or revise the definition of implication from asyntactic or a semantic point of view.

为了解决一阶逻辑的这些局限性，现有的方法一般表现为对一阶逻辑的公式的真值取值范围进行扩展和对蕴涵在语法或语义上进行修正或推广。

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.

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

And the contemporary interpretation of Historical Materialism could supply an important actual base for Situating Theory.

然而，《回到列宁》一书在构境论基本观点的表述上存在着一个重要的逻辑缺环，即它与历史唯物主义的逻辑衔接。

In this paper a further study of the algebraic properties of the language will be presented and the digital system will be optimized by program transformation. In this way, we can get a correct and optimized logic structure which has no redundancy and reuses each common component to the great extent.

本文将在此基础上，进一步研究函数或硬件描述语言的代数性质并通过程序变换对所描述的电路进行综合和优化，从而设计出正确的优化逻辑结构，在这种逻辑结构中去除了冗余，最大限度地重复使用各个子部件。

In this paper, the authors propose a temporal approaching relation and give a sort of temporal relations of propositions, based on Shoham s temporal logic, they propose a temporal logic which can describe uncertainty relation and is based on time--point and time--interval in proposition and first order case.

本文提出了时态逼近关系，并给出了命题不确定性时态关系的一种分类，在Shoham的时态逻辑基础上，对命题和一阶两种情况，提出了能描述不确定性时态关系，基于时间点和时间区间的时态逻辑。

Based on an analysis of the timer structure on the C54x, a new design scheme of an adiabatic timer is presented using the theory of three essential circuit elements for adiabatic circuits and the characteristics of the clocked transmission gate adiabatic logic circuit and its adiabatic flipflop.

为了设计低功耗定时器，首先利用钟控传输门绝热逻辑电路设计绝热触发器，然后在分析C54X的定时器结构基础上，利用绝热电路三要素理论，结合钟控传输门绝热逻辑电路及其绝热触发器的特性，提出绝热定时器的设计新方案。

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.

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