加法赋值,additive valuation

1)additive valuation
加法赋值

2)theory of additive valuations
加法赋值论

3)discrete additive valuation
离散加法赋值

4)approximation of value assignment
赋值法
例句>>

5)Quasi-valuation method
拟赋值方法
1.
In this paper, we use Half-infinitary method, Self-substitution method, Fixed-point method and Quasi-valuation method to comprehensively establish such logics, and thus investigate various logical features of knowing an action.
本文我们采用半无穷方法、自代入方法、固定点方法和拟赋值方法全面建立这样的逻辑,从而研究知道一个活动的各种逻辑特性。



6)the method of valuating law of absurdity
归谬赋值法


补充资料：加法


加法
addition

　　基本算术运算之一加法的结果称为和(sum)两个数“’万b之和记为a十乃a与b都称为被加数(summ川d)数的加法是交换的:“+b=为+a，是结合的:(。十b)十‘=a+伪十c).加法的逆运算称为减法(subtractio。). Abel群(Abelian group二采用加法记号时)中的运算，环(ring)中的使得其元素构成Abel群的二元运算，通常也称为加法.这里，加法也是交换的和结合的有时群中的非交换运算也称为加法，例如，多算子群(mu!t卜。沐rator肛oup)的情况就是如此
　　
说明：补充资料仅用于学习参考，请勿用于其它任何用途。

加法赋值,additive valuation