Modern Mathematical Logic

用法例句

The agreement could be served as the approval on the position of modern logic in the field.

这种一致性在一定程度上可以看作是对现代逻辑在语言哲学中的作用的认可。

The Linguistic Turn in Western contemporary philosophy enables the modern logic to influence deeply into many fields in philosophy by the analytical approach as a common and fundamental one.

现代哲学中的“语言的转向”使得现代逻辑逐渐深入人心,分析哲学的方法已经不仅仅限于分析哲学本身,而是成为哲学领域的共同方法和基本方法。

The value and meaning of modern logic is its application on some theories.

现代逻辑的价值和意义,在于其在理论上的应用。

Then, logic algebra is used to reduce the logic form.

用逻辑代数来完成逻辑式的化简,最后将其结果还原为Petri网回嵌到原网中,完成整个网的化简。

The status and significance of BCK/BCI-algebras in logic algebras are summarized.

综述BCK/BCI代数在逻辑代数中的地位与意义,回顾所知国内外学者在该领域的一些主要工作,介绍了BCK/BCI代数理论中的一些概念、术语和成果,篇末罗列较丰富的参考文献,期望对年轻的学者有所帮助。

Metric structure on logical algebra[0,1];

逻辑代数[0,1]上的度量结构

Sub-BL algebra is the basic of many important logical algebras.

次BL代数是多个重要逻辑代数的理论基础,文章对次BL代数作了进一步的深入研究,得到了一些很好的结论,其主要结果有:1)简化了次BL代数的定义;2)给出了次BL代数的另外两种等价形式,进一步揭示了次BL代数与其他逻辑代数之间的关系;3)证明了一种强次BL代数与BR0代数之间的等价关系,并以次BL代数为基础给出了BR0代数和R0代数的简化定义,改进了已有的结果。

In this paper,four kinds of logical algebras is proposed on complex number plane C(),and their properties are discussed.

在复平面C([0,1])上建立了四种逻辑代数,讨论了其性质,并且定义了C([0,1])上的逻辑度量,得到了四种逻辑度量空间,最后证明了在复平面上存在一个线性序拓扑。

By the further study of R0-logic algebras,for the first time we have established a pure algebra\'s form(M,(,→)) of R0-logic algebras on a set M with binary operators ,→ on which there is no structure of lattice.

在一般集合M上(放弃格的要求)以二元算子,→为基本算子给出了R0-逻辑代数的一种纯代数表示形式(M,(,→)),进一步显示了R0-逻辑代数的一般代数特征及R0-代数与其他逻辑代数的联系。

By further investigating the BR0–logic algebras, a kind of non-ordered form of BR0–algebras has been obtained which imbeds the order relation of BR0–algebras into its operators of ⊕ and →.

对BR0–逻辑代数进行了进一步研究,得到了BR0–逻辑代数的一种无序表示形式,使得BR0–代数中的序关系蕴涵于BR0–代数的基本运算⊕和→之中,并根据BR0–代数的无序表示形式提出了WBR0–代数理论,初步地讨论了其中的性质。

The view of absolute deductivilism logic and for logic modernization is not hamony with the present ages.

若仍以唯演绎主义看待逻辑和逻辑现代化则是不合时宜

In the field of teaching materials after this year appear contentions about the teaching contents and the slogan of logic modernization.

此前的教材虽著述颇丰 ,但基本上没有触动传统逻辑的理论框架 ;此后的教材则围绕着教学内容的改革和逻辑现代化的口号展开了讨论。

There are advantages and disadvantage in both induction and deduction, and they are intertwined.

究其实，争论是由逻辑观－传统形式逻辑和现代数理逻辑的不同引起的。

L. T. F Gamut: Logic, Language, and Meaning. The University of Chicago Press, 1991.

李小五：数理逻辑——现代逻辑学讲义，中山大学出版社2005。

A Mathematical Analysis on Theory of Logic and Logos Objects--on the Developing Trend of Modern Philosophical Logic;

对形式逻辑和内容逻辑之对象论的数理分析——兼论现代哲学逻辑的发展趋势

The Internal Logic of Progress in China s Modernization;

当代中国现代化目标演进的理念逻辑

On Significant Value of Expression and Innovation of Mathematical Logic in Modern Political Economics;

论现代政治经济学数理逻辑表达与创新的重要价值

On the Logical Necessity of the Theoretical Study of Modern Chinese Economic Theory;

论中国现代经济理论研究的逻辑要求

On logic construction of modern western citizen theory;

试论近现代西方公民理论的逻辑结构

Logical System on Modern Writing Theory;

试论现代写作学理论范畴的逻辑系统

Natural Language & Logic Language;

自然语言和逻辑语言:现代逻辑的延伸

Looking at the Essence of Mo-ching Logic in View of Linguistic Levels of Modern Logic;

从现代逻辑的语言层次观看《墨经》逻辑

Database-based Boolean Algebra System and Its Implementation

基于数据库的逻辑代数系统的研究与实现

algebraic logic of pocket calculator

袖珍计算机的代数逻辑

culator with algebraic logic

带有代数逻辑的计算器

logical algebraic equatin with two unknowns

二元逻辑代数方程式

IMTL System and IMTL-algebra;

IMTL逻辑系统及IMTL-代数

Chinese Modernization and the Logic Roads to Marxist Contemporary Development

中国现代化与马克思主义当代发展的逻辑理路

Relation Between Traditional Logic and Contemporary Logic--And about Modernizion of Traditional Logic Textbook;

论普通逻辑与现代逻辑的关系——兼谈普通逻辑教材的现代化问题

On the Argument Theory of Modern Logic and Its Transformation from a Perspective of Situated Reason;

从情境理性看现代逻辑的论证理论及其转型