逻辑上的

A polynomial system PS over the rational number field is constructed from the formula...,in a given many-valued logic system such that follows from ...,iff the algebraic variety defined by PS is empty, iff the idealenerated by PS is trivial.

由给定的多值逻辑系统中的一组公式，。。。，，出发，构造出了一组有理数域上的多项式PS，使得是，。。。，的逻辑结论，当且仅当PS定义的代数簇为空集，当且仅当PS生成的理想是平凡理想。

In the contradiction among the coherence theory、truth dualism and logic apriorism, Tarski published《the semantic notion of truth in formal language》in 1935 ,creating new approach to study the truth and setting up theory of truth which regarded as the more complete theory on logic truth than others in the history.

真理符合论、真理二元论以及逻辑先验论的长期斗争和矛盾使得美籍波兰学家塔斯基独辟蹊径，在1935年发表了《形式化语言中的真理概念》，开创了真理研究的新途径，建立了语义学真理论，这也是历史上第一个比较完整的逻辑真理论。

However,the European,with deeply rooted tradition of atomic theory,stuck to the principle of positivism.

可是 ，具有根深蒂固原子论传统的欧罗巴人，信守逻辑实证主义的思维原则，在人体解剖实验的基础上，利用还原分析和实验求证的方法，使古希腊医学从思辨走向描述和结构时代，这是顺乎逻辑的自然发展。

The method includes a "Theorem of General Expansion" for a complicated network and a "Theorem of Minimizing Expansion" for a logical expression.

本文提出了复杂网络的"大展开定理"和逻辑表式的"最小化展开定理"，并简要地叙述了本文作者已发表在"继电器"杂志(1978年1、2期)上的"逻辑——概率变换"和"单幂变换"等法则。

Quine takes the principle of extensionality ashis prerequisite of logical analysis and entirely objects to recognizing the intentionalconcepts,thus hindering the development of modal logic and the inquiry into humanemeaning in some way.

奎因把外延性原则作为他进行逻辑分析的前提，完全拒斥了内涵概念，从而在一定程度上阻碍了模态逻辑的发展和对人文意义的探究。

R.Carnap's meaning theory is a milestone of history of logic. It has great influences on many branches of logic such as modal logic and Montagu's intension logic.

卡尔纳普的意义理论是逻辑学发展史上的一个重要的环节，对逻辑学的许多分支如模态逻辑、蒙塔古内涵逻辑等发生过重大影响。

Under Fidel Castro political logic has always trumped economic logic: three times since the 1960s he has reversed more pragmatic, decentralising policies and reimposed central control, as Carmelo Mesa-Lago and Jorge Pérez-López, two Cuban-American economists have pointed out.

在 Fidel Castro 政治上的逻辑之下已经总是打出王牌经济的逻辑：三次自从 1960 年代以后他已经颠倒更忙碌的， decentralising 政策而且再征税中央的控制，如 Carmelo 台地- Lago 和 Jorge P é rez-L ó pez ，二位古巴裔美国人经济学者已经指出。

Mainly introduce the work theory of loading material structure and the basic composition and control theory of unloading material structure of the tumbel blasting machine automatic load and unload system and the fluid driving system theory and the logical control theory of programmable logic controller.

主要介绍滚筒式抛丸机自动装卸系统的上料系统的工作原理、卸料机构的基本组成及控制原理、液压驱动系统原理、可编程逻辑控制器的逻辑控制原理。

The model is called the Default Logic for GCI Inference, or DLg, an adapted version of Reiters (1980) default logic and its refinements.

根据一般会话含义非单调性推理的特点，本文在Reiter的缺省逻辑理论的基础上创制了一般会话含义推理的缺省逻辑方案。

However, the Kantian and Dworkin-style objection say that Nozick doesn't stick to the principle of self-ownership because self-ownership as a concept can't be logical tenable, and hasn't the definite meaning, so there can be not the principle of self-ownership, let alone that the principle of self-ownership forms the nature of Nozick's theory of justice in holdings.

柯亨对自我所有概念的逻辑分析表明，既然自我所有概念在逻辑上是成立的，康德式的以及德沃金式的反对意见也就不攻自破。

Neither the killing of Mr Zarqawi nor any breakthrough on the political front will stop the insurgency and the fratricidal murders in their tracks.

在对危险的南部地区访问时，他斥责什叶派民兵领导人对中央集权的挑衅行为。

In fact,I've got him on the satellite mobile right now.

实际上 我们已接通卫星可视电话了