查询词典 logic of relation

According to the problems that are encountered in designing the mathematical knowledge representation language in NKI (national knowledge infrastructure) and after the discussion of ontological assumptions for mathematical objects, two kinds of formalisms for the representation of mathematical knowledge are provided. One is a description logic in which the range of an attribute can be a formula in some logical language; and another is a first order logic in which an ontology represented by the description logic is a part of the logical language.

根据在设计NKI(national knowledge infrastructure)的数学知识表示语言中遇到的问题，并在讨论了数学对象的本体论假设的基础上提出了两种数学知识的表示方法：一种是以一个逻辑语言上的公式为属性值域的描述逻辑；另一种是以描述逻辑描述的本体为逻辑语言的一部分的一阶逻辑。

In terms of this framework, we have designed a pointer logic system for a subset of C language. The style of this logic is something like the style of Hoare logic. It can be used for accurate pointer analysis of pointer programs. The information from the analysis can be used to prove the side conditions of typing rules and then to support static type checking of programs.

根据这个框架，我们为C语言的一个子集设计了一种指针逻辑系统，该逻辑系统的形式和Hoare逻辑的形式类似，它可用来对指针程序进行精确的指针分析，所获得信息用来证明指针程序是否满足定型规则的附加条件，以支持程序的静态类型检查。

In this paper,we first introduce the research background and theory foundation of the project.Then we present a new technique for designing theorem prover which mainly based on transformation and substitution for Pointer Logic,and we have implemented this technique in a tool called APL.As an extension of Hoare logic, Pointer Logic can be used for accurate pointer analysis of pointer programs.

在本文中，我们首先介绍了项目的研究背景和理论基础，然后提出了一种为指针逻辑来设计自动定理证明器的新技术，这项技术主要是基于变换和替代，我们已经在一个被称为APL的工具中实现了该技术。

Setting out from symbolic logic, Russell was the first philosopher who destroyed the law of excluded middle in classical logic, and provided leads for the research into formalized fuzzy logic o...

皮尔斯是西方哲学史上确认"语言本身的模糊性"的第一位哲学家；维特根斯坦强调语言确定性与模糊性的并存关系，并试图将二者统一；罗素从符号逻辑的水平上首次打破了古典逻辑的排中律，开辟了形式化模糊逻辑或多值逻辑的研究道路。

It introduces the basic knowledge and ideas of mathematical logic and classic set theory, including proposition logic and predicate logic, reasoning calculus and theorem proving methods, basic operations and properties of sets and relations, functions of any sets and their properties, the cardinals of infinite sets, and the applications of knowledge and ideas above in computer sciences.

本课程系统介绍数理逻辑与朴素集合论的基础知识，包括：命题逻辑和谓词逻辑、定理的推理演算和机器证明方法，集合和二元关系的基本运算和性质、任意集合中的函数及其性质，无穷集合的基数，以及上述知识在计算机科学中的应用。

In SPVT (security protocol verifying tool), the specification language is the π-like calculus extended with three appendixes, the Dolev-Yao model is described with Horn logic rules, the π-like calculus model of security protocol is transformed into the logic program model by abstract rules, the security properties are verified based on the calculus of the logic program's fixpoint, and the counter-examples on security properties are constructed from the process of the fixpoint calculus and the process of the property verification.

在SPVT中，以扩展附加项的类演算作为安全协议描述语言，以扩展附加项的Horn逻辑规则描述协议攻击者的Dolev-Yao模型，通过一组抽象规则将安全协议的类(演算模型转换为逻辑程序模型，基于安全协议逻辑程序的不动点计算验证安全性质，从安全协议逻辑程序的不动点计算和安全性质的验证过程中构造不满足安全性质的安全协议反例。

This paper is based on N-type MOS-HBT-NDR circuit to design a new type of logic gate circuits, The use of a monostable-bistable transition logic element logic gates to realize the principle of operation,,and NMOS devices to control the input stage circuit NDR circuit switching action, And the overall modulation circuits I-V characteristic curve.

中文摘要此篇论文是以N型MOS-HBT-NDR电路来设计新型逻辑闸电路，利用单稳态-双稳态传输逻辑闸(monostable-bistable transition logic element，MOBILE)电路的操作原理来实现，并以 NMOS元件来控制输入级电路中NDR电路的开关动作，进而调变整体电路的I-V特性曲线。

Karl Marx's thought of alienation of labor is neither based methodologically on the logic of individual, nor based on the logic of original inter-subjective relations, but based on the logic of labor in motion.

由此，马克思劳动异化论的方法论基础不仅不是建立在单个人的基础之上，而且也不是建立在基始性的主体际性关系的基础上的，而是以动态性的劳动活动为核心内容的。

We call it many-valued logic in that this kind of logic studies logic theory that handles relations of propositions in which propositions have three truth values or more, even infinite, and do not limit in two truth values.

之所以称之为多值逻辑，关键原因在于其所研究的是具有三个或三个以上乃至无穷个真值的命题之间关系的逻辑理论，而不是仅仅限于真假二值。

In order to find its logic value and understand it how to affect logic. This paper is to discuss the book from the angle of methology and viewpoint of logic.

本文从方法论和逻辑学的观点出发，逐一讨论该书主题的逻辑价值及其对逻辑学发展的影响。

"Yes, now you can give yourself airs," she said, you have got what you wanted.

"对了，您现在高兴了，"她说道，这是您所期待的。

Then the LORD said to me: Rebel Israel is inwardly more just than traitorous Judah.

上主于是对我说：＂失节的以色列比失信的犹大，更显得正义。