2) modern logic
现代逻辑
1.
The agreement could be served as the approval on the position of modern logic in the field.
这种一致性在一定程度上可以看作是对现代逻辑在语言哲学中的作用的认可。
2.
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.
现代哲学中的“语言的转向”使得现代逻辑逐渐深入人心,分析哲学的方法已经不仅仅限于分析哲学本身,而是成为哲学领域的共同方法和基本方法。
3.
The value and meaning of modern logic is its application on some theories.
现代逻辑的价值和意义,在于其在理论上的应用。
3) logic algebra
逻辑代数
1.
Then, logic algebra is used to reduce the logic form.
用逻辑代数来完成逻辑式的化简,最后将其结果还原为Petri网回嵌到原网中,完成整个网的化简。
2.
The status and significance of BCK/BCI-algebras in logic algebras are summarized.
综述BCK/BCI代数在逻辑代数中的地位与意义,回顾所知国内外学者在该领域的一些主要工作,介绍了BCK/BCI代数理论中的一些概念、术语和成果,篇末罗列较丰富的参考文献,期望对年轻的学者有所帮助。
4) logical algebra
逻辑代数
1.
Metric structure on logical algebra[0,1];
逻辑代数[0,1]上的度量结构
2.
Sub-BL algebra is the basic of many important logical algebras.
次BL代数是多个重要逻辑代数的理论基础,文章对次BL代数作了进一步的深入研究,得到了一些很好的结论,其主要结果有:1)简化了次BL代数的定义;2)给出了次BL代数的另外两种等价形式,进一步揭示了次BL代数与其他逻辑代数之间的关系;3)证明了一种强次BL代数与BR0代数之间的等价关系,并以次BL代数为基础给出了BR0代数和R0代数的简化定义,改进了已有的结果。
3.
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])上的逻辑度量,得到了四种逻辑度量空间,最后证明了在复平面上存在一个线性序拓扑。
5) logic algebras
逻辑代数
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-代数与其他逻辑代数的联系。
2.
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–代数理论,初步地讨论了其中的性质。
6) logic modernization
逻辑现代化
1.
The view of absolute deductivilism logic and for logic modernization is not hamony with the present ages.
若仍以唯演绎主义看待逻辑和逻辑现代化则是不合时宜
2.
In the field of teaching materials after this year appear contentions about the teaching contents and the slogan of logic modernization.
此前的教材虽著述颇丰 ,但基本上没有触动传统逻辑的理论框架 ;此后的教材则围绕着教学内容的改革和逻辑现代化的口号展开了讨论。
补充资料：现代逻辑
数理逻辑和应用数理逻辑而形成的逻辑系统。其基本特点是形式化，就是用一套特制的表意符号去表示概念、判断、推理，获得它们的形式结构，从而把对概念、判断、推理的研究转化为对形式系统中符号的研究。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条