全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多

 逻辑性质 的翻译结果: 查询用时：1.08秒
 在分类学科中查询 所有学科 逻辑学 数学 更多类别查询

 历史查询

 逻辑性质
 logical properties
 In this paper, we study the logical properties of MV-algebras. We proved that the formalized MV-algebras theory is preserved under submodels, homomorphisms, and unions of chains; 在本文中,我们研究了MV 代数的逻辑性质,得出形式化的MV 代数理论在子模、同态链的并之下有所保留; 短句来源 A new QLC(quantificational logic of context), is defined in this paper, which embodies more logical properties of context. Then cases when QLC has equality and when domain-specific axioms are stated in different context sequences are discussed, McCarthy's circumseription theory is also introduced into QLC. 本文定义了一个新的context逻辑——QLC（quantificationallogicofcontext），它能反映context的更多的逻辑性质．文中还讨论了含等词的QLC以及当领域公理相关不同context序列时的推理，并引入了McCarthy的限制理论 短句来源 On the logical properties of MV-algebras 关于MV-代数的逻辑性质(英文) 短句来源 The state space, search heuristics, and move generator in searching solutions to a given problem are characterized by first order language, which implies that the logical properties of a search algorithm are determined by its state space, that is, the logic describing the searching process has compactness and the class of initial states has finite close property. 搜索算法的初始空间、搜索策略、搜索过程可以用一阶语言描述，搜索算法的逻辑性质由初始状态空间确定．这意味着描述搜索过程的逻辑具有紧致性，初始状态的初等类具有有限封闭性． 短句来源 The Logical Properties of Filters of Lattice Implication Algebra 格蕴涵代数中滤子的逻辑性质(英文) 短句来源 更多
 logic character
 The last chapter clarified definition . logic character and truth definition of counterfactual conditionals. 第四章着重评析了反事实条件句的定义、逻辑性质及真值定义。 短句来源
 logic quality
 The two independences of logic quality in r egulative relationship are bases for human beings to advance from limitation to limitlessness, from the known to the new. 包含在制约关系中的逻辑性质两个独立性是人类能以有限把握无限 ,从已知进入新知的逻辑依据 ,是逻辑科学这座大厦两块坚实的基石。 短句来源 If revealing rationally and efficiently the logic quality of the relation proposition, We must build new analyse means and Should separate the relation proposition from the Present common logic teaching by the aid of the modern logic. 要合理、有效地揭示关系命题的逻辑性质，必须借助现代逻辑，建立新的分析手段，把关系命题从现行的普通逻辑教本中分离出去。 短句来源 The maintaining about the logic quality of the relation proposition cannot study the logic quality of the non duality relation proposition, and difficult to agree to concrete duality relation Proposition in the common logic circles. 普通逻辑学界流行的关于关系命题逻辑性质的认定，不能研究非二元关系命题的逻辑性质，也难以契合于具体的二元关系命题。 短句来源 On the logic Quality of Relation Proposition 论关系命题的逻辑性质 短句来源 The common logic difficult to explain the logic quality of the relation Proposition, not only it lie in these so-called logic quality itself easily falling into awkward situation, but lie in it is too far apart from the logic quality of the common logic should study. 普通逻辑难以解释关系命题的逻辑性质，不仅在于这些所谓的逻辑性质本身容易陷入窘境，而且在于它与普通逻辑应该研究的逻辑性质相去甚远。 短句来源 更多
 logical nature
 The inner mechanism of analogy is same type with same reasoning, under this restriction, and its logical nature is of inevitability. 推类的内在机制是“类同理同”,在此约束条件下,其逻辑性质是“必然得出”的。 短句来源

我想查看译文中含有：的双语例句

 logical properties
 This class is broad enough to contain many "usual" logics, yet easily manageable with nice logical properties. It includes nótation for creating and destroying processes, permits well-defined critical sections, and facilitates examining the logical properties of the modeled procedures. The rheo-logical properties of mixture of the monodisperse latices were inves-tigated as a function of blending ratio, and compared with those of multi-modal latices, in a range of shear rate from 0.2 to 100?s-1. The best we can hope is to generate proof obligations on atomic parts of the program corresponding to logical properties to be verified. Recent works on algorithmic complexity and logical properties of computer programs and data are used to question the explanatory value of that metaphor. 更多
 logical nature
 Arguments presented against a hypothesis of the mechanisms underlying the behavioural effects of lithium ions are examined and found to be inadequate in a number of important respects, including some of a logical nature. The paper gives various hints on how to organize the work when large problems, especially of a logical nature, are programmed. The consequence is that the relationship between in vitro and in vivo experimentation is more of a psychological or social one than of a logical nature. Formal axiology is based on the logical nature of meaning, namely intension, and on the structure of intension as a set of predicates. All of these efforts have focussed on the logical nature of partial or missing information. 更多
其他
 点击这里查询相关文摘
 相关查询

 CNKI小工具 在英文学术搜索中查有关逻辑性质的内容 在知识搜索中查有关逻辑性质的内容 在数字搜索中查有关逻辑性质的内容 在概念知识元中查有关逻辑性质的内容 在学术趋势中查有关逻辑性质的内容

 CNKI主页 |  设CNKI翻译助手为主页 | 收藏CNKI翻译助手 | 广告服务 | 英文学术搜索
2008 CNKI－中国知网

2008中国知网(cnki) 中国学术期刊(光盘版)电子杂志社