查询词典 modality logics

The concept of relative Γ-tautology degree of formulas in four important propositional logics, Lukasiewicz logic, L(superscript *) logic, Gdel logic and product logic, has been proposed, and basic properties of it are obtained.

基于广义重言式理论，在四种重要的命题逻辑系统Lukasiewicz系统，L系统，Gdel系统和Ⅱ系统中，引入了公式的相对Γ-重言度概念，给出了相对Γ-重言度的若干性质。

The multipeak NDR device can be widely used in multiple valued logics, and analog to digital converters. We obtain a multiple\|valued memory unit through the multipeak N...

并且利用它的折叠的I V特性，实现了一个 4位的FlashA D转换器，与传统的FlashA D转换器相比，SET MOSFET的A D转换器大大地简化了电路。

It is perhaps because of the inherent economic feature of our brain, those background spaces usually exist subconsciously, making, to different extent, the experts in the fields of logics or AI to misunderstand that knowledge and its behavior are doing "nudely".

也许是由于大脑内在的经济原理， BSK 往往以下意识的方式存在，致使逻辑学家或人工智能学家往往忘了它们的存在，误把知识的存在和行为当成无背景"赤膊"形式的。

Two logics of parergon, namely subsistence and development, are intertwined, and affect people's life overall.

兼业所内含的生存逻辑和致富逻辑的交错，已经对人们的生活状态产生了全方位的影响，由此，兼业不仅仅在规定农户的经济行为方面具有意义，还在相当程度上规定了地方社会的特征。

In addition, it implements various mechanisms presented in the dissertation, and the logic level integration of heterogenous knowledge models as well as some extensional mechanisms, used in reasoning inspection, verification and modification on the consistency and perfectiveness of description logics-based models.

为了检验上述理论研究，论文设计了基于KML的智能知识建模原型系统CAKE，系统提供RPC/Web/Web服务三种模式，并实现论文提出的各种机制以及异构知识模型的逻辑级集成和基于描述逻辑的模型一致性和完备性推理检查、校验与修正等扩充机制。

From logics and history, there are four theoretical resources that shape John Dewey's idea of democratic community: Hegel's idea of the absolute unity of mater and spiritual, and dialectics, Christian thought of Heaven, social evolution and modern biology psychobiology and traditional political and culture of America.

因此正确理解杜威的"民主共同体"思想的特征以及这个政治信念在他的整个哲学体系中的作用，也是我们理解他的整个社会政治哲学的核心问题所在。

To solve this problem, this paper proposes a method of retrieving Web problem resources based on ontology and description logics. It adopts OWL to express ontology and use RACER as a DL reasoner to fulfill description logic inferences.

Web上的题目资源大都以HTML页面的形式存在，由于从题目的语言表述中往往很难使机器获得其语义信息，包括所涉及的知识点、所采用的语言、难度等，因此

In order to guarantee right judgment of the court and correct errors in time ,most countries in mordern world prescribe retrial system in their civil procedural law ,of which there are two modes-adjudicatory supervision procedureand rehearing on parties ' appealing,based on their own different steering principles and litigious logics.

从现代世界各国民事诉讼法来看，为了保证法院裁判的正确和及时纠正错误，大多数国家都规定了再审制度。基于不同的指导思想和诉讼理念，这种再审制度主要有审判监督和再审两种模式。再审程序是大陆法系国家民事、行政再审制度所普遍采用的程序模式。

As the logical foundation of sematics, it is Known that the model theory treats the relationships between syntactic constructs and semantical features thereof, and that the model theoretic logic cares, under the frame of abstract logic, for the similarity, distinctness and interrelationships among various extended logics.

作为语义方法的逻辑基础，模型论是研究逻辑的语法构造与语义属性之间联系的一门数理逻辑的分支；而模型论逻辑则是在抽象逻辑的框架中，用模型论的方法研究各种扩充逻辑系统的异、同及相互关系。

The avowed aim of this paper is to have a research on Zhou"s features of administration.A systematic study is done on Zhou"s statesmanship by the internal logics.

笔者基于占有材料的有限、自身研究能力的单薄以及硕士学位论文篇幅的限制等方面的综合考虑，选取了周恩来的行政管理风格作为自己的研究标的。

Bob Eckert has been chairman and chief executive of Mattel for eight years.

美泰董事长兼首席执行官鲍勃·埃克尔特在任已8年。

The outlook for honors and disgraces carries on and surpasses the traditional outlook for honors and disgraces theoretically, and carries on and develops the theory of construction of socialist mora...

社会主义荣辱观的提出在理论上是对传统荣辱观的一次继承和超越，是对社会主义道德建设理论的继承和发展，在实践上有利于形成良好的社会风尚。