归结式的英文

• 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

例句与用法

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