对偶算子 meaning in Chinese

dual operator

Lipschitz - dual operators and dual spaces
对偶算子及对偶空间
Part two the study of lattice - valued tense propositional logic system and its resolution method the main work of this part is to introduce four tense operators e ( ever ) , f ( will ) , h ( ever always ) and g ( will always ) into lp ( x ) , put up lattice - valued tense propositional logic system ltp ( x ) which takes time axis as language circumstance , gave detailed semantic interpretation and syntax structure , and discussed some properties of it , then proved soundness theorem and consistence theorem . furthermore , studied ( a , t ) - resolution principle which is related to time , gave some rules of computing tense resolvent , and put forward the method of tense resolution
第二部分：关于格值时态命题逻辑系统及其归结方法的研究此部分的主要工作是在格值命题逻辑系统lp ( x )中引进时态算子e (曾经) 、 f (将会)及其对偶算子h (曾经总是) 、 g (将会总是) ，提出了以时轴为语境的格值时态命题逻辑系统ltp ( x ) ，并给出其具体的语义解释和语法结构，并讨论了它的一些性质，证明了该系统的可靠性和协调性。