逻辑上

God''s indestructibility in this world means that God exists eternally in all logically possible worlds that resemble this one in certain salient respects.

上帝在这个世界上的不能破坏意味着上帝在在某些突出的方面类似于这个的所有逻辑地可能的世界上永久存在。

Based upon the logic examination, this paper supplies a new conditional extreme value model for the proposition and generally reveals the wrong guide of Gauss's intrinsic geometry in logic.

在针对经典结论进行逻辑审查的基础上，为该命题重新构造了一个属于"条件泛函极值"范畴的形式定义，并大致叙述Gauss"内蕴几何"的在形式逻辑上必然存在的导向性错误。

The wars of these two last-mentioned nations have in a great measure grown out of commercial considerations,-- the desire of supplanting and the fear of being supplanted, either in particular branches of traffic or in the general advantages of trade and navigation, and sometimes even the more culpable desire of sharing in the commerce of other nations without their consent.

最后提及的这两次战争，国家多半是由于商业上的考虑，——不是在运输行业，就是在贸易和航海上的总体利益，渴望排挤和担心被排挤，有时甚至是颇应谴责的渴望不经同意便分享别国的商业机会。良好的人性，恰当的理性，和对上帝的信仰。规则的美在于简单，个性的美在于丰富，语言的美在于逻辑。

These images that need no word expression and logical reasoning, even need no brain-racking search for the archetypes, are a kind of self-cultural sediment. They may have multiple and cultural relations or collisions with a declining national spirit at present, but the paintings themselves not only act as a representation of dominant cultural traits of our nation, but are also my attempts to continue stone inscriptions and brick engravings by those ancient people through knife scraping and line engraving in cold and gray tone, not only a visual sediment of my own obscure emotion, but also a kind of exterior exposition of my personal art spirit.

这些无须用言词、逻辑去表达、推理、甚至去挖空心思搜寻的形象，是自我的某种文化的积淀，或许与时下民族气性衰微与潦落的状况有着多层面的文化上的关联与冲突，但画面本身不仅成为民族强势文化特质的某种形式上的渲染，同时也希籍冷灰色调下的刀刮、线刻能够成为古人碑帖、砖刻痕迹的某种延续，既是自我内心晦涩情绪的视觉沉淀，也是个人艺术精神的某种外化的诠释。

On the one hand, he established the theory on Kleenes three valued logic and proposed interval incidence calculus theory~[21]. On the other hand, he proposed interval generalized incidence calculus theory~[22] by revising GICT.

一方面是在Kleene三值逻辑基础上提出区间发生率计算理论(Interval Incidence Calculus Theory，以后简记为IICT)，另一方面在Liu的扩展理论基础上，提出区间推广的发生率计算理论(Interval Generalized Incidence Calculus Theory，简记为IGICT)。

Product Engineer - Fabric Shanghai, China Job Summary:The primary objective of Product Development Engineering group is to move New Programmable Logic Product Design's from first silicon to manufacturing release as...

美国莱迪思半导体公司是从事世界上最先进的超大规模可编程逻辑器件及相应的EDA软件系统的研究、设计、开发、生产的专业公司之一，是在系统可编程技术（In System Programmability，简称ISP）及器件的发明者和供应商，是世界上三大可编程逻。。。

This process then creates a deployment diagram so that you can define how applications will deploy to logical servers on the deployment diagram and validate the deployment diagram.

之后，此过程将创建部署关系图，以便您可以在部署关系图上定义应用程序将如何部署到逻辑服务器上，并验证该部署关系图。

It contains 4 dimensions of logical elements: interpersonal element on relational main parts, humane element on relational contents, humanitarian element on realizing route as well as functional element on full development of human beings in pursuit of value.

其包括四个维度的逻辑要素，即关系主体上的人际要素、关系内容上的人性要素、实现路径中的人本要素以及功能作用上人的全面发展的价值追求要素。

In this dissertation it is argued that technology should been understood neither from the view of logical positivism, nor social constructivism.

在这里，技术已经不是逻辑实证主义立场上的技术了，也不是社会建构论意义上的技术，而是由以技术为核心构造的技术世界。

The relation between the quality of subject selection and editor 's qualifications was studied. With traditional logical analysis as the first step of mathematization, the author established a mathematical model by giving up the set pattern of the pure qualitative analysis.

本文从总体上研究了选题质量与编辑人员素质之间的关系，并在其传统逻辑分析的基础上，作为数学化的第一步，试图跳出传统的纯粹定性分析的臼，而就其数学模型的建立进行了尝试与讨论。

Breath, muscle contraction of the buttocks; arch body, as far as possible to hold his head, right leg straight towards the ceiling (peg-leg knee in order to avoid muscle tension).

呼气，收缩臀部肌肉；拱起身体，尽量抬起头来，右腿伸直朝向天花板（膝微屈，以避免肌肉紧张）。

The cost of moving grain food products was unchanged from May, but year over year are up 8%.

粮食产品的运输费用与5月份相比没有变化，但却比去年同期高8％。