English translation for "归结式"

resolvents

Related Translations:

归结:  1.(总括而求得结论) sum up; put in a nutshell 短语和例子问题虽然很复杂, 归结起来不外三个方面。 the questions, though very complicated, may be summed up as coming under three categories.2.(结局) end (of a story, etc.)3.[力学

凡人归结:  clayton emery netheril mortal consequences

广义归结:  generalized resolution

归结定理:  resolution theorem

归结于:  attribute toresolve intoto explain by indicating a cause

归结原理:  resolution (logic)

归结子句:  apodosis

归结为:  boil down tocome down toresult

归结主体:  resolution agent

归结起来是:  boil down to

Example Sentences:

1.

Based on lattice - valued propositional logic system lp ( x ) and lattice - valued first - order logic system lf ( x ) , the author studied semantic and syntax properties of generalized lattice - valued modal logic system , and probed into a - resolution principle . the specific contents are as follows : part one the study of lattice - valued modal propositional logic system and its resolution method in this part , we introduced modal operators n ( necessary ) and p ( possible ) into lattice - valued propositional logic system lp ( x ) , set up a new lattice - valued modal propositional logic system lmp ( x ) , studied its semantic properties and syntax structure , proved the soundness and consistence of this system . based on these work , discussed a - resolution principle of lattice - valued modal propositional logic system lmp ( x ) , gave out the rules of computing a - direct resolvent and a - self resolvent , and proposed detailed resolution method 本文在格值命题逻辑系统lp ( x )和格值一阶逻辑系统lf ( x )的基础上，讨论了广义格值模态逻辑系统的语义及语法性质，并对其-归结原理做了初步探讨，主要在下述三个方面取得了研究成果：第一部分：关于格值模态命题逻辑系统及其归结方法的研究在此部分，把模态算子n (必然)和p (可能)引入格值命题逻辑系统lp ( x ) ，建立了新的格值模态命题逻辑系统lmp ( x ) ，并研究了它的语义刻画及语法结构，证明了在此语义解释和语法框架下的系统仍是-可靠的和协调的；在此基础上，进一步研究了基于格值模态命题逻辑系统lmp ( x )的-归结原理，给出了计算-直接归结式和-自归结式的规则，并总结出具体的归结方法。

Similar Words：

"归结反演的产生式系统" English translation, "归结反演系统" English translation, "归结起来是" English translation, "归结起来是，问题是" English translation, "归结起来是；其结果是" English translation, "归结为" English translation, "归结为四类" English translation, "归结于" English translation, "归结原理" English translation, "归结中的归并" English translation