逻辑的

That's the logical extension of my approach.

那是对我的方法的合乎逻辑的扩展。

We present a dense timed interval temporal logic and exploit the decidability problem of DTITL.

定义了稠密时间区间时序逻辑，它是区间时序逻辑的一种实时扩充。

He is incoherent, delusional, suffering auditory hallucinations.

他出现无逻辑的, 妄想的, 幻听的症状.

By using the ternary logic instead of the binary logic, the extended subjective logic redefines the mapping relationship and functions between the evidence space and the opinion space, and presents a new extended consensus rule.

在利用三值逻辑代替原来二值逻辑的基础上，扩展主观逻辑重新定义了事实空间与观念空间之间的映射关系和映射函数，并给出了新的扩展合意规则。

This might be something as seemingly logical as a fear of heights, or as illogical as a fear of the colour green.

这种恐惧感有的时候看起来是符合逻辑如恐高症，或就像绿色恐惧症一样不符合逻辑的。

The core of the microcomputer system of make out an invoice is five-protection artesian logic realization are analyzed in detail, and has compiled the axle mountain stood five-protection artesian logic conditions, the logic of typical intervals.

对微机开票系统中的核心即五防闭锁逻辑的实现进行了详细分析，并编写了车轴山站五防闭锁逻辑条件，对典型间隔的逻辑条件进行了解读。

This argument, being purely logical, applies to scientific predictors of any complexity.

这个纯逻辑的论点适用于各种各样的科学预测者.

At one point in the Metaphysics, Aristotle seems to distinguish between empirical studies and deductive logic.

在《形而上学》一书中, 亚里士多德似乎已谈到了经验研究和推理逻辑的区别.

Is it a logical necessity that higher wages will lead to higher prices?

工资高物价就高,这是合乎逻辑的必然规律 吗 ?

Aim at the problem that the BAN logic can't effectively analyse three-party cryptographic protocols, several BAN logic rules are supplemented or improved, and the authentication target of BAN logic is enhanced.

针对BAN逻辑无法有效地分析三方密码协议这个问题，增加和修改了BAN逻辑推理规则，强化了BAN逻辑的认证目标；

The most plausible instances of a priori concept are the formal concepts of logic.

先验概念的最似乎有道理的例子是逻辑的形式概念.

The book contains an excellent discussion of modal logic.

这本书包含了有关模态逻辑的精彩探讨.

There are some people who will use any kind of argument, no matter how illogical, so long as they can score off an opponent.

有些人为了要驳倒对方; 不惜用任何不合逻辑的辩论.

Epistemic logic ( 4): on the Decidability of epistemic logic

认识逻辑（4）：关于认识逻辑的可判定性

His nephew liked a logical argument, even about illogical things.

他的侄子喜欢逻辑争论, 即使是关于毫无逻辑的事情.

The Daily Express pronounced her a logical middle-of-the-road choice.

《每日快报》宣布她是位合乎逻辑的中间道路的入选人物.

Logical positivist's verifiability principle and Popper's falsifiability principle is an absolute and logical criteria.

逻辑实证主义的可证实标准和波普的可否证标准,提出了绝对的、逻辑的划界标准.

In order to formalize and verify the protocol, BZL logic model is built, which based on first-order logic and introduces many-sorted, dynamic and non-monotony logic.

为了形式化验证数字现金的安全性，本文在经典一阶逻辑的基础上，吸取了多类逻辑、动态逻辑和非单调逻辑的思想，提出了BZL逻辑模型。

Two outstanding problems in planning practice were pointed, the first is the defect in causality and value logic, the second is that traffic volume forecast is short of credibility.

指出了规划中存在的突出问题：规划逻辑上存在价值逻辑和因果逻辑的缺陷；规划依据的需求预测置信水平不高。

It is well known that the determinant problem in classic proposition logic is a NP complete problem, and the first order logic is a half determinant one. So both the analysis of computing complexity and the realization of it are the most important fields.

众所周知，经典命题逻辑中的判定问题是NP完全问题，而一阶逻辑是半可判定问题，关于非经典逻辑特别是非单调逻辑的计算复杂性分析和算法实现是一个重要的研究领域。

Light petroleum distillate , generally known as naphtha, was the logical choice.

轻石油馏分, 如石脑油是合乎逻辑的选择.

Mohist logic has the character of non-formalization, while Aristotlian Logic is mainly charactered by its formalization.

非 形式化是墨家逻辑的主要特点, 而亚里士多德逻辑的主要特点是形式化.

Between logic and charity falls a shadow.

合乎逻辑的行为和助人为乐之间是有一些区别的.

Some of his arguments are illogical.

他的一些论证是不合逻辑的.

Firstly, the paper, through the introduction of several classical logics and non-classical logics, and then discussed emphatically the principle of universal logic and three-valued probabilistic logic.

本文首先对传统的几种经典逻辑和非经典逻辑大致做一介绍，然后重点讲述泛逻辑以及三值概率逻辑的基本原理。

He understood at once that he was the logical man to succeed Duluth as squadron commander.

他立即意识到,由自己来接替杜鲁斯担任中队长是合乎逻辑的.

In short, the impossibility is a logical impossiblity.

简言之, 这种不可能性是逻辑的不可能性.

The corresponding version in fuzzy logic of the natural deductive system of classical logic is discussed.

讨论了经典逻辑的自然演绎系统在模糊逻辑中的对应形式.

In the study of non-classical logic, lattice-valued logic system is of extensive significance.

在 非 经典逻辑的研究中, 格值逻辑的研究具有重要而广泛的意义.

The theorems should be deduced from axioms by purely logical arguments.

定理应该通过纯粹的逻辑的推导而从公理演绎得到.