归结式的英文

• resolvents

• "归结"英文翻译    sum up; put in a nutshell
• "式"英文翻译    type; style
• "归结" 英文翻译 :    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.[力学] resolution; 归结式 resolvents
• "结式" 英文翻译 :    [数学] eliminant; resultant; resultant expression
• "归结为" 英文翻译 :    boil down to; come down to; result
• "归结于" 英文翻译 :    attribute to; resolve into; to explain by indicating a cause
• "绑结式" 英文翻译 :    tie on poster
• "连结式" 英文翻译 :    coupled
• "子结式" 英文翻译 :    subresultant
• "熬浓，简化，归结为" 英文翻译 :    boil down
• "递归结构" 英文翻译 :    recursive structure
• "凡人归结" 英文翻译 :    clayton emery netheril mortal consequences
• "广义归结" 英文翻译 :    generalized resolution
• "广义锁归结" 英文翻译 :    generalized lock resolution
• "归结定理" 英文翻译 :    resolution theorem
• "归结起来是" 英文翻译 :    boil down to
• "归结为四类" 英文翻译 :    fall into four categories
• "归结原理" 英文翻译 :    resolution (logic)
• "归结主体" 英文翻译 :    resolution agent
• "归结子句" 英文翻译 :    apodosis
• "锁分解, 锁归结" 英文翻译 :    lock resolution
• "一阶归结" 英文翻译 :    resolution
• "意味着，归结为" 英文翻译 :    boil down to
• "保结式付款" 英文翻译 :    payments against letter of indemnity
• "背面联结式" 英文翻译 :    back connection type

• 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 )的-归结原理，给出了计算-直接归结式和-自归结式的规则，并总结出具体的归结方法。